test =
  case (case (Just "") of
  Nothing -> _
  Just s -> _) of
    True -> _