Any plans to move to `Generic.Rep`: https://github.com/purescript/purescript/pull/3007
Any plans to move to
Generic.Rep: purescript/purescript#3007