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)