An interpreter of a very simple imperative language implemented as an F-algebra using the Droste library. The language represents the non-OO imperative subset of miniool.

The example illustrates how to deal with failure and delayed, on-demand evaluation in an F-algebra.