+ = (_t1::t1)
print = (_t2::t1)
log = (_t3::t1)
head = (_t4::[a] -> a)
tail = (_t5::[a1] -> [a1])
fst = (_t6::(a2, b) -> a2)