Denis Buzdalov

Regression in #3328, compilation now hangs sometimes

2

# Steps to Reproduce Consider these functions: ```idris import Data.Fin covering g : Fin 64 -> Unit g FZ = () g (FS i') = g $ weaken i' total...