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))
--
13