And yet you still cannot write even moderately complex type expressions without severe pain.