Fine-grained parallelism in a lazy functional language by M. Beenster