Possible

Possible is a typeclass that defines an Optional from a monomorphic container S to a possible value A. There must be at most one A in S.