An idea of how we might do it. Immediately runs into the problem of
instantiating too many times.

Signed-off-by: Michael Donaghy <md401@srcf.ucam.org>