in hxt-monad type aliases reworked