purescript-0.6.4.1: examples/passing/MutRec3.purs
module Main where data A = A B data B = B A foreign import data S :: * f a = case a of A b -> g b g :: B -> S g b = case b of B a -> f a showN :: A -> S showN a = f a main = Debug.Trace.trace "Done"
module Main where data A = A B data B = B A foreign import data S :: * f a = case a of A b -> g b g :: B -> S g b = case b of B a -> f a showN :: A -> S showN a = f a main = Debug.Trace.trace "Done"