added Judy{Int, Any} type