2 ms·This one typechecks but loops forever: f :: Void -> a f _ = let x = x in xby erdeszt 8y agoThis one typechecks but loops forever: f :: Void -> a f _ = let x = x in x