basic IO Monad in coffeescript

iomonad.coffee

IO = (f) -> 
  ioF = -> f()
  ioF.bind = (getsNextIoF) -> IOChain(ioF, getsNextIoF)
  ioF

IOChain = (ioF, getNextIoF) ->
  ioCF = -> 
    value = ioF()
    nextIoF = getNextIoF(value)
    nextIoF()
  ioCF.bind = (g) -> IOChain(ioCF, g)
  ioCF

fAlert = (str) -> IO(-> alert(str))

fConfirm = IO(-> confirm("Well?"))

ioY = fAlert("THIS IS AN IO MONAD!").bind ->
  fAlert("farewell, my dear friend :)")

ioN = fAlert("really? you suck.").bind ->
  fAlert("buzz off.")

io = fAlert("hello!").bind ->
  fAlert("So you want to know what's crazy?").bind -> \
  fConfirm.bind (yn) -> \
  (if yn then ioY else ioN)

io()