-- type constructor
data Term

-- constructors:
Fvar :: Id -> Term
Ffun :: Id -> Term
Fcon :: Id -> Term
Fapp :: Term -> Term -> Term

-- instances:
instance Eq Term
instance Ord Term
instance Show Term