Reify needs more thought
We should think about what a good reification API looks like. Certain patterns are quite common (e.g. looking up and doing the equivalent of splitTyConApp_maybe
), which can we can potentially support with convenient view functions on the results of reification.