testsuite/tests/deriving/should_compile/T12245.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE FlexibleInstances #-}

module T12245 where

import Data.Data ( Data )

data Foo f = Foo (f Bool) (f Int)

deriving instance Data (Foo [])
deriving instance Data (Foo Maybe)