Could a GHC plugin automatically insert `aseq`?

[noughtmare]

Reads of a certain version of an array should be sequenced before writes to that version if possible.