-- Kind of t in MonadTrans t
(* -> *) -> * -> *