An attempt to fix #77, but as we can see: since we have to make up an entirely different module to fix (the original one doesn't typecheck!) it introduces a whole host of weird errors. I think we should mark this as wontfix for now: we don't fix modules that don't typecheck.
An attempt to fix #77, but as we can see: since we have to make up an entirely different module to fix (the original one doesn't typecheck!) it introduces a whole host of weird errors. I think we should mark this as
wontfixfor now: we don't fix modules that don't typecheck.