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"