<> ([a]) () <> (a) ([a]) (abc)