TCOCase.purs

module Main where

data Data = One | More Data

main = Debug.Trace.trace (from (to 10000 One))
  where
  to 0 a = a
  to n a = to (n - 1) (More a)
  from One = "Done"
  from (More d) = from d