úÎ Ï R  Safe-InferedA result for partial functions VCreate a new data declaration where the type variables have been subsituted with the N | supplied types. Returns an error if the more types the types are provided. QSubstitute the a new type for an existing type in all the constructors in a Dec. B | If the type to replace is missing, the function does nothing. CSubstitute the new type for the old type in the constructor 7Substitute the new type for the old type in the type ! transform is from Uniplate       type-sub-th-0.1.0.5Language.Haskell.TH.TypeSubResult sub_types_dec sub_type_dec sub_type_consub_typeget_consupdate_ty_vars get_con_typeshas_type