Parser again
Parser version of 'test-typeclassed'