Deep holds two values: a value (often a functor) in deep, and another Algae.Free.t in deeper

A simple wrapper for some data. This can be seen as a prototypical ADT