smash (hackage): Smash products are like the These datatype, only with a unit. You can think of this type as isomorphic to 'Maybe (These a b)'.
Keywords: bsd3|data|library