tails package:first-class-families

data Tails (b :: [a]) (c :: [[a]])
first-class-families Fcf Fcf.Data.List
List of suffixes of a list.

Example

>>> :kind! Eval (Tails [0,1,2,3])
Eval (Tails [0,1,2,3]) :: [[Natural]]
= [[0, 1, 2, 3], [1, 2, 3], [2, 3], '[3]]