Introduce First
Introduce Second
Introduce CombineIn
Proper Arrow type-class definition