Avoiding runtime checks with Parse Don't Validate

[doyougnu]

link

be sure to cite Alexis. Case study on redundant checks in GHC code (which are all over the place!)