Break instantiation loop in monomorphiser
Prove `sum (map length xss) == length (concat xss)`

Also rename join' to concat