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

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