@aires @jonathankoren this reminds me of the GHC bug that deleted code that didnt type check