path: root/testsuite/tests/indexed-types/should_compile/T4356.hs

{-# 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