Feldspar.Core.Collection
type family Elem a
type family CollIndex a
type family CollSize a
class Indexed a
class Sized a
class CollMap a b