I haven’t had a chance to use this package yet, but its functional promises seem too good to be true. It negates the need for Holy traits, and keeps the extensibility of functions AND types as is one of Julia’s strengths.
Does anyone have a number of examples of different data structures and relationships implemented using this package?
If this works, I think it would be worth implementing into Julia base and replacing macros with keywords.