Other features

derive-deftly has many more features, that aren't yet explained in this tutorial. For example:

• fvis, tvis, and approx_equal, more conditions for dealing with various cases by hand.

• $tdeftype for defining a new data structure in terms of features of the input data structure, and $Xattrs for passing through attributes.

Full details are in the reference, which also has a brief example demonstrating each construct.