Containers
type family Element t
class Container t
class NontrivialContainer t
sum
product
mapM_
forM_
traverse_
for_
sequenceA_
sequence_
asum
class One x