idF :: F b b
idF is the identity fudget. It is a short circuit from the input to the output.
idF
idF = absF idSP idF = mapF id
Plumbing combinators: throughF, idRightF, idLeftF, toBothF, bypassF,