::
GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Moduleplutus-core-1.70.0.0
constPartial :: TermLike term TyName Name uni fun => term () -> term ()
etaExpand
:: TermLike term tyname Name uni fun
=> Type tyname uni ()
-> term ()