It's pretty much a bastardized form of HM typing, like Haskell, OCaml and ML has.

http://learnyouahaskell.com/