I've been barking up the wrong tree.
Rebecca Frankel suggested that``you embed a monad in a lazy language to provide 'local strictness' and a comonad in a strict language to provide 'local laziness' . ''