Type Inference Zoo