import TcUnify
import TcHsType
import TysWiredIn
-import TcGadt
import Type
import Coercion
import StaticFlags
; loc <- getInstLoc origin
; dicts <- newDictBndrs loc theta'
- ; dict_binds <- tcSimplifyCheckPat loc [] ex_tvs' dicts lie_req
+ ; dict_binds <- tcSimplifyCheckPat loc ex_tvs' dicts lie_req
; let res_pat = ConPatOut { pat_con = L con_span data_con,
pat_tvs = ex_tvs',