Skip to content

Commit 11e2b50

Browse files
authored
Fixed a sentence, which meant the opposite of what it wanted to mean. (#279)
1 parent e9766fb commit 11e2b50

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

text/chapter7.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -97,7 +97,7 @@ forall a b c d. (a -> b -> c -> d) -> Maybe a -> Maybe b -> Maybe c -> Maybe d
9797

9898
This type says that we can take any function with three arguments, and lift it to give a new function whose argument and result types are wrapped with `Maybe`.
9999

100-
Certainly, this is not possible for any type constructor `f`, so what is it about the `Maybe` type which allowed us to do this? Well, in specializing the type above, we removed a type class constraint on `f` from the `Apply` type class. `Apply` is defined in the Prelude as follows:
100+
Certainly, this is not possible for every type constructor `f`, so what is it about the `Maybe` type which allowed us to do this? Well, in specializing the type above, we removed a type class constraint on `f` from the `Apply` type class. `Apply` is defined in the Prelude as follows:
101101

102102
```haskell
103103
class Functor f where

0 commit comments

Comments
 (0)