## Option

Optional values are specified using the type `Option t`, where `t` is some type. The `Option` ADT has two constructors:

Optional values are specified using the type `Option t`, where `t` is some type. The `Option` ADT has two constructors:

When your are working with numbers in any programming language you are subject to overflows. An overflow happens when the value of number is bigger than the maximum possible value offered by the machine.