length : ∀t. list[t] → integer
empty : string → boolean
is_digit : character → boolean
is_letter : character → boolean
in : ∀t. (list[t], integer) → boolean
get : ∀t. (list[t], integer) → character
contains : ∀t. (list[t], list[t]) → boolean