module Main where

import Prelude([](..))
import Example

main = (return ()) :: IO ()