type L = Unit + N * L