data Maybe a = Nothing | Just a