2 ms·
The academic term for such types is "singleton types". They allow for some quite mind-blowing possibilities as you've shown.
by Joker_vD 4y ago
The academic term for such types is "singleton types". They allow for some quite mind-blowing possibilities as you've shown.