the second problem is that the generics in `Iso&lt...

# arrow

[pakoito]

the second problem is that the generics in Iso<S, A> are not that easy to describe EDIT: IsoP is the one with STAB