laziness ex 11 'unfold' and 12 'fibsViaUnfold'
state ex 1 'positiveInt' and ex 2 'double'
state ex 3 'doubleInt', 'intDouble' and 'double3'