ref: ff8c6e91a7c2369b3e8806ed460b4bf9b4bf6bae 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)