[kewp]

This is how I felt when trying to learn Elm: the program had to be correct, exactly correct, or it wouldn't work. You had to make every piece, every function, fit precisely, to define it's shape, it's exact inputs and outputs and effects ... in the end I found it very restrictive. I like the idea of loose-ness by default and adding contraints gradually (like javascript -> typescript).