robrix/Traversal — pull request #1 by robrix (2014-10-04 21:12:51+00:00)
Title: Reducible

Adds `ReducibleType` and `ReducibleOf`.

Includes a test of `ReducibleOf` which demonstrates a runtime crash.