!! package:numeric-prelude
List index (subscript) operator, starting from 0. It is an instance of
the more general
genericIndex, which takes an index of any
integral type.
The index must be smaller than the length of the list, otherwise the
result is undefined.