Data.Optional
data
T
f a
(?:)
fromEmpty
fromNonEmpty