@dkubb this is what I needed to do; otherwise it would blow up. I basically "emulate" an axiom type here if key/value types are EVs (same happens in `Collection` for member_type)