A collection of various examples of the usage of core.typed