Creates an environment to compute about the data structure.
A Pure instance for M.
Pure
M
The environment to compute.
Creates an environment to compute about the data structure.