Add type-level parser?

[garyb]

It would be really nice to have 😉

[thomashoneyman]

@garyb If you have any more details on this that you wouldn't mind sharing in this issue, that might help folks considering a contribution have an idea of where to start!