Functional pearl: streams and unique fixed points - Hinze, R (ACM, 2008)