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