Make void use <$