Index

Index is a typeclass that defines an Optional from an S to an A at an index I.

Index is less powerful than At as it cannot create or delete value.