I have a file with 339 lines only that takes 31s to type check. (Then on the same computer a development of 25k lines without comments takes 3m 20s to type check.) I can find the place where the inefficiency takes place by manual bisection. Is there a better way? M.