Previous discussion: https://www.reddit.com/r/haskell/comments/bbjq1o/a_type_of_p...