testsuite/tests/deriving/should_compile/T11148.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TypeFamilies       #-}
{-# LANGUAGE DeriveFunctor      #-}
{-# LANGUAGE FlexibleInstances  #-}

module T11148 where

data family G a b c d
data instance G Int b Float d = G deriving Functor

data family H a b c d
data instance H [b] b d c = H deriving Functor