{-# LANGUAGE TypeFamilies, FlexibleContexts #-}

module Terms.Interface where