id :: forall a. (a) -> a
id = \x -> x

k :: (String) -> (Number) -> String
k = \x -> \y -> x

iterate :: forall a. (Number) -> ((a) -> a) -> (a) -> a
iterate = \n -> \f -> \a -> do
  var result = a
  for i <- 0 until n:
    result = f(result)
  return result