module Main where import Examples () import UnionPerformance () main = putStrLn "Test passes if Examples.lhs type-checks."