erasure, nonexhaustive-match, deprecation warnings
Merge pull request #368 from ryan-williams/warnings

erasure, nonexhaustive-match, deprecation warnings