---------------

-- ^ Used to create the view /Core/ has on 'TyCon's. We expand
-- not only closed synonyms like 'tcExpandTyCon_maybe',
-- but also non-recursive @newtype@s
coreExpandTyCon_maybe tycon tys = tcExpandTyCon_maybe tycon tys
coreExpandTyCon_maybe tycon tys = tcExpandTyCon_maybe tycon tys
coreExpandTyCon_maybe tycon tys = tcExpandTyCon_maybe tycon tys