ex5.12 - implemented from, constant, ones with unfold