-- See Note [Newtype coercions]
-- Invariant: arity = #tvs in nt_etad_rhs;
-- See Note [Newtype eta]
-- See Note [Newtype coercions]
-- Invariant: arity = #tvs in nt_etad_rhs;
-- See Note [Newtype eta]
nt_etad_rhs :: ([TyVar], Type) ,
-- The same again, but this time eta-reduced
nt_etad_rhs :: ([TyVar], Type) ,
-- The same again, but this time eta-reduced
-- Size of a PrimRep, in bytes
sizeofPrimRep :: PrimRep -> Int
-- Size of a PrimRep, in bytes
sizeofPrimRep :: PrimRep -> Int
tcExpandTyCon_maybe (SynTyCon {tyConTyVars = tvs,
synTcRhs = SynonymTyCon rhs }) tys
= expand tvs rhs tys
tcExpandTyCon_maybe (SynTyCon {tyConTyVars = tvs,
synTcRhs = SynonymTyCon rhs }) tys
= expand tvs rhs tys