I have opened an issue here [1], with modifications based on my experience of implementation. [1] https://github.com/haskell/core-libraries-committee/issues/25 Kai