emptyΒΆ

List.empty = empty