generated at
2/18/2025, 4:14:08 PM
UnliftedDataTypes
https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0265-unlifted-datatypes.rst