Re-implement (<+)