in hxt-monad further changes in monad instances (not yet finished)