Compile-time predicates and keyword hierarchies in core.typed

[Kaylen Wheeler]

There are two things Id like to do in core.typed, if possible, and they are potentially related.

My application will be using multimethods and type metadata in conjunction with keyword hierarchies, and I'd like a way to enforce this if possible.

If I could construct a compile-time predicate that could check :type metadata and keyword hierarchies, that would help with the type checking.

Is there a way to do that?  Thanks.