В haskell можно написать:
containsTen::Num a => Eq a => [a] -> Bool
containsTen (x : y : xs)
| x + y == 10 = True
| otherwise = False
Можно ли написать что-то эквивалентное в Идрисе, не делая этого с помощью ifThenElse
(мой реальный случай более сложный, чем тот, который был выше)?