first-and-last

First and Last generalized to return up to n values.

This library provides data types First' n and Last' n generalizing First and Last from Data.Monoid to return up to n values.

>>> getFirst' (foldMap pure [1,2,3,4] :: First' 2 Int)
[1,2]
>>> getLast' (foldMap pure [1,2,3,4] :: Last' 2 Int)
[3,4]

It also provides API-compatible type synonyms First and Last as well as functions getFirst and getLast, allowing you to use it as a drop-in replacement.