Container.Class
type family Element t
class ToList t
class Container t
type NontrivialContainer t
data WrappedList f a
sum
product
mapM_
forM_
traverse_
for_
sequenceA_
sequence_
asum
class One x