polysemy-1.3.0.0: Higher-order, low-boilerplate, zero-cost free monads.
Polysemy.Internal.Kind
type Effect = (Type -> Type) -> Type -> Type Source #
The kind of effects.
Since: 0.5.0.0
type EffectRow = [Effect] Source #
The kind of effect rows.