Cryptol.Utils.Misc
anyJust
anyJust2