Control.Isomorphism.Partial.Unsafe
data
Iso
alpha beta