Data.Invertible.Strong

class IsoStrong p