module Main where

import Examples ()

main = putStrLn "Test passes if Examples.lhs type-checks."