export HasEmpty from Diagrams.Core