The Empty typeclass provides a Prism that can tell whether a structure is empty.
the source of a Prism