Replaces Pointed instances with Monad