True. I can see that it wouldn’t fail until it does.
I think a NonEmptyList type would be useful: then it’s both explicitly documented and fails every time if called incorrectly.
dogweather
0
PragTob
The library for which I raised this sample for has a similar type 
@typedoc """
The samples to compute statistics from.
Importantly this list is not empty/includes at least one sample otherwise an `ArgumentError` will be raised.
"""
@type samples :: [sample, ...]
1