This module also contains functions for reifying species expressions to ASTs and reflecting ASTs back into other species instances, which are in this module since they depend on the AST type class instances.
Reify a species expression into an AST. (Actually, this is just the identity function with a usefully restricted type.) For example:
> reify octopus C . TL+ > reify (ksubset 3) E3 * TE
The same as reify, but produce a typed, size-annotated AST.
Reflect an AST back into any instance of the
Reflect a typed AST back into any instance of the