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