testsuite/tests/generics/GenCannotDoRep1_4.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE DeriveGeneric       #-}

module GenCannotDoRep1_4 where

import GHC.Generics

-- We do not support contravariant occurrences of the type variable
data T a = T (a -> Int) deriving Generic1