Data.Defined
fromDefined
toDefined