added debug output
Merge remote-tracking branch 'origin/hindley-milner' into hindley-milner