More discussion here: https://www.reddit.com/r/haskell/comments/id8m9w/welltyped_u...