- builtin_tycons <- initBuiltinTyCons
- builtin_pas <- initBuiltinPAs
- builtin_prs <- initBuiltinPRs
+ let builtin_tycons = initBuiltinTyCons builtins
+ builtin_datacons = initBuiltinDataCons builtins
+ builtin_pas <- initBuiltinPAs builtins
+ builtin_prs <- initBuiltinPRs builtins
+ builtin_boxed <- initBuiltinBoxedTyCons builtins