- | ConPatOut (Located DataCon)
- [TyVar] -- Existentially bound type variables
- [id] -- Ditto dictionaries
- (DictBinds id) -- Bindings involving those dictionaries
- (HsConDetails id (LPat id))
- Type -- The type of the pattern
+ | ConPatOut {
+ pat_con :: Located DataCon,
+ pat_tvs :: [TyVar], -- Existentially bound type variables
+ -- including any bound coercion variables
+ pat_dicts :: [id], -- Ditto dictionaries
+ pat_binds :: DictBinds id, -- Bindings involving those dictionaries
+ pat_args :: HsConDetails id (LPat id),
+ pat_ty :: Type -- The type of the pattern
+ }