Iso is a type alias for PIso which fixes the type arguments and restricts the PIso to monomorphic updates.