empty-monad

A container that always has no values - and the missing values can belong to any type