(To clarify: rather your types end up composing much like messages between actors. That's a very fine way to compose things, but it's still just one way)