eta-reduce a Monad type synonym, so we can use it non-applied