blob: 2f30efb99c56e3061d23f3535d21978ae4843c7d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
-- Testing the newtype-deriving stuff
module ShouldFail where
import Control.Monad.State
newtype T a = T (StateT Int IO a) deriving( MonadState )
-- Here MonadState takes two type params,
-- but exactly one is needed.
|
