module uni06 ( uni06.PEVAL, uni06.main ) where import Prelude uni06.PEVAL :: a -> a uni06.PEVAL v1 = v1 uni06.main :: Prelude.Bool uni06.main = Prelude.failed