Can you replace the second part of the logic branch with `Axiom::Types::Hash.infer(type)` ?