Type: Procedure
GraceDocs
Procedure<T>
=
prelude.Block1
<T, Done>
Type of block taking argument of type T and returning Done