Tuple.first and Tuple.second simplifications from #2 + some for composition
Tuple.first ( a, b )
--> a
Tuple.second ( a, b )
--> b
-- not shown in summary
Tuple.first (Tuple.pair a b)
--> a
-- not shown in summary
Tuple.second (Tuple.pair a b)
--> b
-- not shown in summary
Tuple.second << Tuple.pair a
--> identity
-- not shown in summary
Tuple.first << Tuple.pair a
--> always a
Tuple.first
andTuple.second
simplifications from #2 + some for composition