{-# LANGUAGE LambdaCase #-}

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

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