{-# LANGUAGE PatternSynonyms #-}

module Language.Haskell.TH.TypeInterpreter
    ( TypeAtom (..)
    , TypeEquation (..)
    , TypeExp (..)
    , pattern Synonym
    , fromType
    , fromName
    , substitute
    , substituteAll
    , reduce
    , match )
where

import Language.Haskell.TH.TypeInterpreter.Expression
import Language.Haskell.TH.TypeInterpreter.Import