Thanks. I assume it works with ABCs, but haven't actually tried it (I ran out of time and wanted to publish something as a first release this weekend). Struct

Thanks. I assume it works with ABCs, but haven't actually tried it (I ran out of time and wanted to publish something as a first release this weekend). Structural types would make more sense for general use, but not for what the larger library was actually intended for (I think) so I never really looked in that direction (and I don't have any ideas on how to extend it to include them, either). I do have an idea for a kind of type matching across sum types which will be quite neat if it works...