Unit () | |
Unit t => Unit (Identity t) | |
Unit u => Unit (t -> u) | |
(Unit t, Unit u) => Unit (t, u) | |
(Unit t, Unit u, Unit v) => Unit (t, u, v) | |
(Unit t, Unit u, Unit v, Unit w) => Unit (t, u, v, w) | |
(Unit t, Unit u, Unit v, Unit w, Unit x) => Unit (t, u, v, w, x) | |