Unbound.Generics.LocallyNameless.Internal.Iso

data Exchange a b s t

type Iso s t a b

type AnIso s t a b

iso

from

withIso