-- trying to parse TyCon a (vlen x)
-- angles:   TyCon a <vlen x> -> vlen x pred to a
-- parens:   TyCon a (vlen x) -> vlen x RTyApp 
-- brackets: TyCon a [vlen x] -> list of RTyApp