Control.Monad.Effect

The Effect Monad

data Effect l a

Effect Handlers

class Effectful l r

Unions

data Union l a

Membership

class Member e l

class MemberEffect name f l

type family Is (name :: k) (f :: * -> *) :: Bool

Effect Rows

data Row a

type family l :++ m where ...

class KnownLength l

class Inclusive l