alias for PIso apply when S = T and A = B
alias for PIso id when S = T and A = B
create an Iso from a function that is its own inverse