cons : (x, List<x>) -> List<x> head : List<x> -> x tail : List<x> -> List<x> + : (List<x>, List<x>) -> List<x> .length : List<x> -> USize .reverse : List<x> -> List<x> tail : List<x> -> List<x> .unique : List<x> -> List<x> .sort : List<x> -> List<x> .into : (Vector<t>, Type<String>) -> String .into : (List<t>, Type<Vector<t>>) -> Vector<t> [] : (List<x>, USize) -> x == : (List<x>, List<x>) -> Bool != : (List<x>, List<x>) -> Bool < : (List<x>, List<x>) -> Bool <= : (List<x>, List<x>) -> Bool > : (List<x>, List<x>) -> Bool >= : (List<x>, List<x>) -> Bool .contains : (List<x>, x) -> Bool .join : (List<x>, String) -> String .next : &List<x> -> Maybe<x>