The syntax ?x :: a is desugared into IP "x" a
IP is declared very early, so that libraries can take
advantage of the implicit-call-stack feature
Methods
ip :: a
:: a typeCtrl KGHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11
Moduleghc-internal-10.0.0Haskell2010
Basic classes.
Do not import this module directly. It is an GHC internal only
module. Some of its contents are instead available from Prelude
and GHC.Int.
The syntax ?x :: a is desugared into IP "x" a
IP is declared very early, so that libraries can take
advantage of the implicit-call-stack feature
ip :: a