Для этого можно использовать оператор индекса списка !!
, который определяется следующим образом:
(!!)
: [a] -> Int -> a
List index (subscript) operator, starting from 0.
Вот фрагмент, демонстрирующий его использование:
first : [Int] -> Int
first x =
let f = x!!0
in f
testFirst = scenario do
assert(first [3, 2, 1] == 3)