module TcUnify where

import GhcPrelude
import TcType      ( TcTauType )
import TcRnTypes   ( TcM )
import TcEvidence  ( TcCoercion )
import HsExpr      ( HsExpr )
import HsTypes     ( HsType )
import HsExtension ( GhcRn )

-- This boot file exists only to tie the knot between
--              TcUnify and Inst

unifyType :: Maybe (HsExpr GhcRn) -> TcTauType -> TcTauType -> TcM TcCoercion
unifyKind :: Maybe (HsType GhcRn) -> TcTauType -> TcTauType -> TcM TcCoercion