Lifted, homogeneous equality. By lifted, we mean that it
can be bogus (deferred type error). By homogeneous, the two
types a and b must have the same kinds.
- Packagelinear-base-0.8.1
- Exports1
- LicenceMIT
- SourceTypes.hs
GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02
Lifted, homogeneous equality. By lifted, we mean that it
can be bogus (deferred type error). By homogeneous, the two
types a and b must have the same kinds.