Morrow

A different idea: Have `Avatar` be an opaque newtype around `Maybe Text` and have that be the `avatar` field, storing the hash. Then provide functions such as `avatarHash :: Avatar...

As far as terminology goes, I would phrase it > Perhaps you meant to bind the result of `foo` with `

Perhaps something like ``` :1:12: error: Invalid data constructor: ‘bar’ NB: A data constructor must begin with a capital letter or be an infix operator beginning with ‘:’ ``` Although...

The relevant GHC issue: https://gitlab.haskell.org/ghc/ghc/-/issues/22382