git.iko.soy/rowtype-yoga/purescript-native
on 24fdff2 help sign in
rowtype-yoga/purescript-native/examples/passing/UnknownInTypeClassLookup.purs
14 lines 215 B history raw
1module Main where
3import Prelude
5class EQ a b
7instance eqAA :: EQ a a
9test :: forall a b. (EQ a b) => a -> b -> String
10test _ _ = "Done"
12runTest a = test a a
14main = Control.Monad.Eff.Console.log $ runTest 0.0