introduce Maybe
introduce Maybe, edits