instance Arrow (->) where first f = f *** id