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 f :: Bool

Effect Rows

data Row a

type family l :++ m

class KnownLength l

class Inclusive l