Simplified the monad registry

I suddenly remembered about typeof<,,> etc.