module Main where

import qualified Prelude as P

import NameConflictTest_Consts
import NameConflictTest_Types
import Qualified
import Qualified_Client
import Qualified_Iface
import Extern
import Extern_Client
import Extern_Iface

main :: P.IO ()
main = do
  P.putStrLn "Values:"
  P.print ([JUST, TRUE, FALSE] :: [Maybe])
  P.print ([LEFT, RIGHT] :: [Either])
  P.print (Problem_ (P.Just P.True) (P.Just P.False))