import b

x : L
x = right(3, left(unit))