aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DefaultSignatures/equality.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE DefaultSignatures #-}
module Equality where

class Inj a where
  inj :: a -> a
  default inj :: (p ~ a) => p -> a
  inj = \x -> x