ref: d12702bad1f9566710e3eb4b6f50e79bc9bc1e5f dir: /tests/View.hs/
module View(main) where import Prelude f :: Int -> Int f ((> 10) -> True) = 1 f _ = 0 main :: IO () main = do print (f 20) print (f 10)