let
error_not_found_type n = error_not_found
"Type"
n