Rewriting the Futhark Type Checker

I think I would absolutely hate the automap feature, even if they do make it play perfectly with HM - which I suspect cannot be done.

If I try to map (map f) to a list of arrays of lists, I need the compiler to stop me and tell me I'm wrong, not try to pick an implementation that fits (if such a thing is even decidable)