[ foo
, bar
, foo
    :: ( Int
         -> Int
       )
    -> Bool
]