Handling the unit type as an empty tuple.
Examples from Chuan-kai Lin's PhD thesis.