module T16999 where

data Type
  = TBool
  | TInt
  | (->) Type Type