Nov 03, 2018 - 02:06 PM
At http://code.world, there is a teaching variant of the language. This is what I teach with. This is Haskell in the sense that it's compiled with GHC, but has some modifications to work better with children. The custom prelude uses a single Number type to reduce polymorphism, doesn't export any type classes, etc. And as you note, all functions are uncurried so that they can be applied in standard mathematics syntax.
At http://code.world/haskell, there is a more standard Haskell interface, and you can write entirely standard Haskell code, including code using a few widespread packages like containers, text, bytestring, QuickCheck, and more.