partial reduction of an example derived from Thyer's thesis using Launchbury (lazy) and Sinot (completely lazy) semantics