[semi-extrinsic]

I dunno, combining the do statement, the <- assignment operator that I learned from R, and the forM_ monad, I think I could write some good Fortran.

Haskell also appears to have a very interesting form of goto:

https://wiki.haskell.org/Compose#Using_Cont

With Haskell's advanced type system, could we recreate implicit int/real typing, and perhaps even EQUIVALENCE?

[marcosdumay]

Hat tip for anybody that pushes a MonadGoto into hackage, with the obvious Goto and GotoT implementations :)

Bonus points for also implementing the ComeFrom interface from Python's comefrom joke package!