::
GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12
Modulepolysemy-1.9.2.0
data NonDet (m :: Type -> Type) a
Empty
Choose (m a) (m a)