implemented a module for dealing with terms and contexts with thunks (arbitrarily nested monadic computations of a fixed monad)
implemented a module for dealing with terms and contexts with thunks
(arbitrarily nested monadic computations of a fixed monad)

spacekitteh/compdata,gasche/compdata