testsuite/tests/simplCore/should_compile/T8331.stderr


1
2
3
4
5
6
7
8
9


==================== Tidy Core rules ====================
"SPEC useAbstractMonad" [ALWAYS]
    forall (@ s)
           ($dMonadAbstractIOST :: MonadAbstractIOST (ReaderT Int (ST s))).
      useAbstractMonad @ (ReaderT Int (ST s)) $dMonadAbstractIOST
      = useAbstractMonad_$suseAbstractMonad @ s