Maybe-like structures for C