freshInts k = do
  x <- freshInt
  xs <- freshInts (k-1)
  return (x:xs)
freshInts k = do
  x <- freshInt
  xs <- freshInts (k-1)
  return (x:xs)
freshInts k = do
  x <- freshInt
  xs <- freshInts (k-1)
  return (x:xs)