Data.Types.Injective

class Injective a b