liquidhaskell-0.9.0.2.1: tests/pos/T1571.hs

module T1571 where

  data TaggedT m a = TaggedT (m a)
  
  class MonadController m where
    respond :: a -> m ()
  
  {-@
  instance MonadController m => MonadController (TaggedT m) where
    respond :: a -> TaggedT m ()
  @-}
  instance MonadController m => MonadController (TaggedT m) where
    respond = undefined