singleton, and include MonoFoldable/MonoTraversable
Type families for Data.Containers
IntMap
Length