1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE TypeFamilies #-} module T4356 where import Data.Kind (Type) type family T t :: Type -> Type -> Type type instance T Bool = (->) f :: T Bool Bool Bool f = not