Mycelium Mycelium is a set of typed formats for storing and transferring data. As you might expect it supports things like: Bits Arrays Products Sums (Coproducts) Lists But as you might not expect, it also has support for: Refs (pointers) Expressions Functions/Procedures Types Every value that you can specify in Mycelium has a Type (which is also a Value), and every Value can be stored or transferred. Values can be computed by evaluating Expressions. Expressions are also Values and can also be s...