git.iko.soy/rowtype-yoga/purescript-native
on db2dd21 help sign in
19 lines 276 B history raw
1module Main where
3import Prelude
5class A a where
6 a :: a -> Boolean
8class B a where
9 b :: a -> Boolean
11instance aNumber :: A Number where
12 a 0 = true
13 a n = b (n - 1)
15instance bNumber :: B Number where
16 b 0 = false
17 b n = a (n - 1)
19main = Debug.Trace.print $ a 10