exercise 5.12 fromViaUnfold implemented
exercise 5.12 constantViaUnfold implemented
exercise 5.12 onesViaUnfold implemented