git.iko.soy/rowtype-yoga/purescript-native
on 34a00a0 help sign in
17 lines 207 B history raw
1module Main where
3data A = A B
4
5data B = B A
7foreign import data S :: *
9f a = case a of A b -> g b
11g :: B -> S
12g b = case b of B a -> f a
14showN :: A -> S
15showN a = f a
17main = Debug.Trace.trace "Done"