Currently, returning differently typed terms always involves using Term<'a> and explicit encoding. One option to improve this would be to introduce a new enum AnyTerm implementing From for all term types (and types that can be unambigiously converted to terms), implementing Encoder itself.
Currently, returning differently typed terms always involves using
Term<'a>and explicit encoding. One option to improve this would be to introduce a newenum AnyTermimplementingFromfor all term types (and types that can be unambigiously converted to terms), implementingEncoderitself.