Comment by gsg

Monomorphising doesn't work for rank-n polymorphism, either. (This is mentioned on the page.)