module Test where

import Control.RMonad.Trans.Cont
import Control.RMonad.Trans.Set
import Control.RMonad.Trans.List
import Control.RMonad.Trans.Reader

import Control.RMonad.AsMonad

import Data.Set (Set)
import qualified Data.Set as Set

test1 = unEmbed $ do x <- embed $ Set.fromList [1,2]
                     y <- embed $ Set.fromList [3,4]
                     return (x+y)

test2 = unEmbed $ fmap (+1) $ fmap (+1) $ embed $ Set.fromList [1,2]

test3 = unEmbed $ do x <- fmap (+1) $ embed $ Set.fromList [1,2]
                     return (x+1)