oleg at okmij.org wrote: > The topic of local instance declarations has been discussed > in Sec 6.1 of the HW 2004 paper > http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf Thanks, there's a lot in there for me to think about, Brian.