A generic non-empty data structure - View it on GitHub