emptyListLaw

inline fun <E> emptyListLaw(): List<E>