-- -> = pure   function constructor
-- ~> = impure function constructor

-- You can curry up to the first ~>
print  :: Show a => a ~> ()
printf :: Show a => String -> [a] ~> ()

-- The type Ref is for destructive updating
put :: a -> Ref a
set :: Ref a -> a ~> ()
get :: Ref a ~> a