Dovetail.Core.Effect.Uncurried
type family Fn (n :: Nat) (ctx :: *) where ... Source #
Equations
env :: forall ctx. Env ctx Source #