ex. 5.11 - unfold
ex. 5.12 - fibs, from, constant and ones via unfold