Rewrite a few instances.

The cool part about this code is that we're fundamentally working
with a type that is the composition of three functors, (a->), Maybe,
and (a,) - these changes attempt to make that realization more explicit.
Change the app instance - still being coy about monads
Merge pull request #2 from matthewSorensen/parser-fun

Rewrite a few instances.