http://lambdacube3d.com/editor.html http://lambdacube3d.com/editor.html why type inference (for hints in editor) is so cool? Can I do something similar for has

http://lambdacube3d.com/editor.html http://lambdacube3d.com/editor.html why type inference (for hints in editor) is so cool? Can I do something similar for haskell (without pain if possible)?