void main() {
  Option<double> safeDivision(int a, int b) => (b==0) ? None() : Some(a/b);

  final Option<double> a = safeDivision(2, 0); // None
  final Option<double> b = safeDivision(4, 2); // Some(2)
}