Cons ( x: A , xs: List [ A ] )

[+] val x : A

[+] val xs : List [ A ]

[+] def _1 : T1

[+] def _2 : T2

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

[+] def copy$default$1 : A

[+] def copy$default$2 : List [ A ]

[+] def head : A

[+] def isEmpty : Boolean

[+] def tail : List [ A ]