ErmineParserT, to tie the type-level knot.