some inconclusive experiments with the delay monad

new file:   PartialDelay.agda