haskell-equational-reasoning: jailbreak to support recent versions of 'void'