-effectfulId :: a -> <Proc> a\r
-effectfulId x = x\r
-\r
-//double :: (a -> <e> a) -> a -> <e> a\r
-double f x = f (f x)\r
-\r
-doubleId = double effectfulId\r
-\r
-main :: Integer\r
-main = runProc (doubleId (13 :: Integer))\r
---\r
+effectfulId :: a -> <Proc> a
+effectfulId x = x
+
+//double :: (a -> <e> a) -> a -> <e> a
+double f x = f (f x)
+
+doubleId = double effectfulId
+
+main :: Integer
+main = runProc (doubleId (13 :: Integer))
+--