morphism!() { /* proc-macro */ }
dfir_macro
Checks that the given closure is a morphism. For now does nothing.