Doesn't lift transformers

[isovector]

class Monad m => MonadIRC m where
  recvNewMessage :: Stream (Of RecvMsg) m ()
makeImprovised ''MonadIRC

=>

      recvNewMessage                                                                                     
        = improvised-0.1.0.0:Test.Improvised.Internal.Improvisable                                       
            (Control.Monad.Trans.Reader.ReaderT                                                          
               (\ r_ar4F -> __recvNewMessage (getMonadIRCImprovised r_ar4F)))  

error:

    • Couldn't match expected type ‘Stream
                                      (Of RecvMsg) (Improvisable dict m) ()’
                  with actual type ‘Improvisable dict0 (Stream (Of RecvMsg) m0) ()’
    • In the expression:
        improvised-0.1.0.0:Test.Improvised.Internal.Improvisable
          (Control.Monad.Trans.Reader.ReaderT
             (\ r_ar4F -> __recvNewMessage (getMonadIRCImprovised r_ar4F)))
      In an equation for ‘recvNewMessage’:
          recvNewMessage
            = improvised-0.1.0.0:Test.Improvised.Internal.Improvisable
                (Control.Monad.Trans.Reader.ReaderT
                   (\ r_ar4F -> __recvNewMessage (getMonadIRCImprovised r_ar4F)))
      In the instance declaration for ‘MonadIRC (Improvisable dict m)’
    • Relevant bindings include
        recvNewMessage :: Stream (Of RecvMsg) (Improvisable dict m) ()
          (bound at /home/sandy/prj/sdcp/code/irc/src/Effects.hs:25:1)