Restrict the number of binders when checking exhaustivity, fix #1469, fix #1288.
Restrict the number of binders when checking exhaustivity, fix #1469, fix #1288.

michaelficarra/purescript,michaelficarra/purescript