> I propose an even smaller subset than their recommended language extensions, stopping short of DeriveGeneric and GADTs, and not allowing orphan instances or non-total fields in sum types.
> I propose an even smaller subset than their recommended language extensions, stopping short of DeriveGeneric and GADTs, and not allowing orphan instances or non-total fields in sum types.