Effects4.scl

   1 effectfulId :: a -> <Proc> a
   2 effectfulId x = x
   3
   4 //double :: (a -> <e> a) -> a -> <e> a
   5 double f x = f (f x)
   6
   7 doubleId = double effectfulId
   8
   9 main :: Integer
  10 main = runProc (doubleId (13 :: Integer))
  11 --
  12 13