Arities as containers

Proposed by @eparejatobes 
yes, check `Composition` in my last commit