1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE TypeFamilies #-} module Exp (C, C(type T), T, foo, S) where class C a where data T a :: * foo :: a -> a data family S a b :: *