module Main where

import Example (example)

main :: IO ()
main = example