Procedure<T> = prelude.Block1<T, Done>

---