Occurs in the wild at https://discourse.haskell.org/t/the-current-coercible-rules-are-dangerously-misleading/10563/17
