@Leo Is it possible to make ḣ be generated automatically if mapping is applied? Like, m→ would work instead of m→ḣ? Or maybe it is not possible due to that type inference issue?

@Mr.Xcoder It would be simply enough to add another overloading to m, with type (TNum->a)->TNum->[a]. The hard part would be checking how much this would mess up inference in existing programs... I think I should set up some sort of test suite, a compilations of programs with expected outputs to check these kinds of modifications in the future

@Leo oh ok... Good luck with that :-)