diff --git a/src/ty-fold.md b/src/ty-fold.md index 8e5fe6cc..23253022 100644 --- a/src/ty-fold.md +++ b/src/ty-fold.md @@ -1,3 +1,4 @@ + # `TypeFoldable` and `TypeFolder` In [a previous chapter], we discussed instantiating binders.