Handle the monomorphism restriction when type-checking static values.