exhaustive

For a brief tutorial to exhaustive, check out the documentation for Control.Exhaustive, which contains a small example.