T4356.hs 140 Bytes
Newer Older
simonpj's avatar
simonpj committed
1
2
3
4
5
6
7
8
{-# LANGUAGE TypeFamilies #-}
module T4356 where

type family T t :: * -> * -> *
type instance T Bool = (->)

f :: T Bool Bool Bool
f = not