git.iko.soy/rowtype-yoga/purescript-native
on 33db511 help sign in
rowtype-yoga/purescript-native/examples/passing/CheckTypeClass.purs
16 lines 282 B history raw
1module Main where
3 data Bar a = Bar
4 data Baz
6 class Foo a where
7 foo :: Bar a -> Baz
9 foo_ :: forall a. (Foo a) => a -> Baz
10 foo_ x = foo ((mkBar :: forall a. (Foo a) => a -> Bar a) x)
12 mkBar :: forall a. a -> Bar a
13 mkBar _ = Bar
15 main = Debug.Trace.trace "Done"