module Data.Term where

foreign import data Term :: Type