cons : (x, List<x>) -> List<x> head : List<x> -> x .has-head : List<x> -> Bool tail : List<x> -> List<x> + : (List<x>, List<x>) -> List<x> .length : List<x> -> U64 .reverse : List<x> -> List<x> tail : List<x> -> List<x> .unique : List<x> -> List<x> .sort : List<x> -> List<x> print : List<x> -> Nil .to-string : List<x> -> String [] : (List<x>, U64) -> 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