pprHsForAllExtra first param is effectively a Bool
pprHsForAllExtra
is defined (since a31218f7) as
pprHsForAllExtra :: forall p. OutputableBndrId p
=> Maybe SrcSpan
-> HsForAllTelescope (GhcPass p)
-> Maybe (LHsContext (GhcPass p)) -> SDoc
pprHsForAllExtra extra tele cxt
= pp_tele tele <+> pprLHsContextExtra (isJust extra) cxt
...
It strikes my that the type for extra
is effectively a Bool
. Is there a reason to use Maybe SrcSpan
instead?