The same as a regular Haskell pair, but
(x :*: _|_) = (_|_ :*: y) = _|_
Constructors
a :*: binfixr 1
:: a typeCtrl KGHC 10.0.0.20260917 · lts/ghc-10.0.x · aa25b89 · 2026-10-10
Moduleghc-10.0.0.20260917GHC2024
A strict pair
The same as a regular Haskell pair, but
(x :*: _|_) = (_|_ :*: y) = _|_
a :*: binfixr 1Convert a strict pair to a standard pair.