Empty head The first element, when self is viewed as an instance of algebraic product type. tail All elements but the first, when self is viewed as an instance of algebraic product type. count The number of elements, when self is viewed as an instance of algebraic product type.
Empty Extension Reference
View on GitHub