let
silly_type loc sexp =
of_sexp_error (loc ^
"_of_sexp: trying to convert a silly type"
) sexp