Appearance
The type sp.unit has exactly one value, namely the so-called unit value, written ().
sp.unit
()