[+] def apply ( x: A , next: List [ A ] ) : :: [ A ]

[+] def unapply ( x$1: :: [ A ] ) : :: [ A ]