Better implementation for <$>