Type: Function GraceDocs
Function<T, R> = prelude.Block1<T, R>