import AE_Parser data Tok = T1 | T2 | T3 deriving (Eq,Show) type Res = [Int] t1double :: Parser Tok [Tok] t1double = tok [T1,T1] parseTwo = t1double &&& \x -> tok [T3] &&& \y -> result (length x, length y)