Implement nonNegativeInt.
Implement double.
Implement intDouble, doubleInt, and double3.
Implement ints.
Implement map2.
Implement flatMap.