First

is a primitive monadic function which extracts the first element from its argument.