case at 0 [100] of
  Optional.Some _ -> "Hooray!"