Type checking for Finds