Pattern matching on flat options
