Maybe/monad.kind