These generalize the notions you already know how to use into a form that is easier to compose and simultaneously allow them to be used for monomorphic containers