effect-monad-0.6: examples/Monad.hs

{-# LANGUAGE TypeFamilies, RebindableSyntax #-}

import Control.Effect
import Control.Effect.Monad
import Prelude hiding (Monad(..)) 

putStrLn' = Wrap . putStrLn

printer = do putStrLn' "Hello"
             putStrLn' "I am really regular IO monad"
             putStrLn' "hiding as the free indexed monad version"
             return ()