Plurality Monad When it doesn't matter whether there are more than two of a thing. This idea was borrowed from Gabriel Scherer's thesis on types with unique inhabitants.