Reduce implicit elaboration code with insanity