monocle
alias for PIso apply when S = T and A = B
transform an scalaz.Isomorphisms.Iso in a Iso
alias for PIso id when S = T and A = B