Reimplement <$