ref: 6ee5b5e8428ca78ea1d5a675fb34ccc5b36ef680 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)