module lollisig.

type one      o.
type erase    o.
type bang     o -> o.
type '-o'     o -> o -> o.
type 'x'      o -> o -> o.
type '<-'     o -> o -> o.

infixr  '-o'  5.
infixr  'x'   5.
infix   '<-'  1.