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?

They accomplished that by creating a language in which it's impossible to write programs in general ;)