main = PEVAL (let x = True ? fcase x of True -> False in x)