6.4.26. Generalised typing of mutually recursive bindings

RelaxedPolyRec

Since:

6.8.1

Status:

Included in GHC2024, GHC2021, Haskell2010

See Typechecking of recursive binding groups for a description of this extension. This is a long-standing GHC extension. Around the time of GHC 7.6.3, this extension became required as part of a typechecker refactoring. The -XRelaxedPolyRec flag is now deprecated (since the feature is always enabled) and may be removed at some future time.