Integer
->
Boolean
(<a>
->
Boolean)
->
[<a>]
->
<a>
[3,1,7]