> It seems to be impossible to denote an empty row, so the type Rec () is
> ill-formed.
Perhaps you want
EmptyRec :: Rec EmptyRow
which is there. Pity about the type synonyms though.
- Trex empty row John Hughes
- Ross Paterson
> It seems to be impossible to denote an empty row, so the type Rec () is
> ill-formed.
Perhaps you want
EmptyRec :: Rec EmptyRow
which is there. Pity about the type synonyms though.