I think the thing I’m finding I want but don’t yet have from core.typed is support for case splitting ala haskell or idris, mostly for union types. Has anyone written anything along these lines? It would seem to require help from the pred macro, at least for union types that aren’t composed of disjoint class types.