blob: af8628b4d502383106d3b07a6fece4c4c1e90f3c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
-- Should fail without GeneralizedNewtypeDeriving
-- Succeeds with GeneralizedNewtypeDeriving
module ShouldFail where
import Control.Monad.State
data S = S Int
newtype M a = M (StateT S IO a) deriving( Monad )
|