Yup, the number one rule for debugging ML is to add types until the error line becomes clear.