Data.Empty
data
Empty
a
unwrap