let Monad (m : * -> *) : * = forall (a : *) -> #http://sigil.place/talk/1/Cmd m a -> m a
in  Monad