module A005 where data Maybe a = Nothing | Just a