On Saturday, 19 August 2017 at 10:16:18 UTC, Balagopal Komarath wrote: > Let us say I want to automatically define subtraction given > that addition and negation are defined. I tried the following > using mixin templates... I assume there is no way to do this?