{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}

module Control.Monad.Eff (
  Eff,
  Member,
  MemberU2,
  Handler,
  send,
  handleRelay,
  interpose,
  run
) where

import Control.Monad.Eff.Internal
import Data.OpenUnion