git.iko.soy/rowtype-yoga/purescript-native
on cd4c708 help sign in
20 lines 247 B history raw
1module Main where
3import Prelude
4import Control.Monad.Eff.Console (log)
6data A = A B
8data B = B A
10foreign import data S :: *
12f a = case a of A b -> g b
14g :: B -> S
15g b = case b of B a -> f a
17showN :: A -> S
18showN a = f a
20main = log "Done"