Min HS Type Inference