Hmm, so this is kind of ok, but I would actually at first talk about the general notion of a "parametrised type": `m a`, saying that `m` can be seen as some "context" (in particular, this is the case for monads), hence the `Computation a` is the a computation in the context `a`. Later this boils down to an actual subcategory in categorical terms. Something like that.