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?