Open
Description
Cf. https://strathprints.strath.ac.uk/60166/1/McBride_LNCS2015_Turing_completeness_totally_free.pdf
Note that, on top of the semantics given in the article, we can write a runner
function to evaluate these General programs as CoWriter or IO.
Cf. this file for a GR -> IO function