typed lookup tested