Render
captures both the name of an assertion as well as the parameters
to the assertion combinator for pretty-printing.
Makes a new AssertionM
from a pretty-printing and a function.
Makes a new AssertionM
from a pretty-printing and a function.
Makes a new assertion that negates the specified assertion.