maybe.hh: default constructor can be constexpr