purescript-0.15.15: tests/purs/passing/UnknownInTypeClassLookup.purs

module Main where

import Prelude
import Effect.Console (log)

class EQ a b

instance eqAA :: EQ a a

test :: forall a b. EQ a b => a -> b -> String
test _ _ = "Done"

runTest a = test a a

main = log $ runTest 0.0