+ = (_t1::Num a => a -> a -> a)
print = (_t2::Show a1 => a1 -> IO ())
log = (_t3::Floating a2 => a2 -> a2)
head = (_t4::[a3] -> a3)
tail = (_t5::[a4] -> [a4])
fst = (_t6::(a5, b) -> a5)