From 5ded30755fce6a790298b5c0eb7fb9c819bcfdbd Mon Sep 17 00:00:00 2001 From: Chris Hodapp Date: Thu, 22 Oct 2015 16:38:39 -0400 Subject: [PATCH] Fix two typos (-varaint -> -variant) --- content/covariance-contravariance.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/covariance-contravariance.md b/content/covariance-contravariance.md index 61a9943..08148fd 100644 --- a/content/covariance-contravariance.md +++ b/content/covariance-contravariance.md @@ -496,7 +496,7 @@ that makes sense, and similarly that there is no valid `Contravariant` instance. __Exercise 3__: For each of the following newtype wrappers, determine if they -are covaraint or contravaraint in their arguments: +are covariant or contravariant in their arguments: ```haskell newtype E1 a = E1 (a -> ())