blob: 0d8d1a95d93c8e7706d3f0e713d868da1c766b4a (
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.
|
