mkDataBinds
) where
-import Ubiq{-uitous-}
+IMP_Ubiq(){-uitous-}
import HsSyn ( TyDecl(..), ConDecl(..), BangType(..), HsExpr(..),
Match(..), GRHSsAndBinds(..), GRHS(..), OutPat(..),
checkTc (null eval_theta')
(missingEvalErr con_id eval_theta') `thenTc_`
-
-- Build the data constructor
let
con_rhs = mkHsTyLam tc_tyvars $