Note [Function types] needs to be updated
Note [Function types] in GHC.Core.TyCo.Rep needs to be updated:
-
it mentions
FFunty
which doesn't exist -
it mentions
FunTy
as a pattern synonym which it isn't. I don't think a pattern-synonym is needed anymore as the "common case" isn't so common with the added multiplicity field -
the multiplicity field isn't documented.
FUN
should probably be mentioned too with a reference to Note [Linear types] in GHC.Core.Multiplicity.