path: root/transfer/examples/test.tr

main = let x : Type = case n of
		n2 -> 2
		n3 -> 3
        in f Numeral