:: [Bool] -> Bool package:grisette

Check if all elements in a list are distinct. Note that empty or singleton lists are always distinct.

>>> distinct []
True

>>> distinct [1]
True

>>> distinct [1, 2, 3]
True

>>> distinct [1, 2, 2]
False