Do you mean `Generically`[1]? I've only ever vaguely seen its use - perhaps it can do something a `newtype` can't (or can, but with more boilerplate)? But don't have any first-hand experience currently to comment.

[1] https://hackage.haskell.org/package/base/docs/GHC-Generics.h...

I meant in a general context (I know Go or Rust allows it in a decent way), not familiar enough with Haskell..