No entry for The_Option_monad_pattern_thing ... you could create one: