@@ -3,7 +3,7 @@ module Either where
33{-| Represents any data that can take two different types.
44
55# Type and Constructors
6−@docs Either, Left, Right
6+@docs Either
77
88# Taking Eithers apart
99@docs either, isLeft, isRight
@@ -15,9 +15,12 @@ module Either where
1515
1616import List
1717
18−{-| This can also be used for error handling `(Either String a)` where
19− error messages are stored on the left, and the correct values
20− (“right” values) are stored on the right.
18+{-| Represents any data may take two forms. For example, a user ID may be
19+either an `Int` or a `String`.
20+
21+This can also be used for error handling `(Either String a)` where
22+error messages are stored on the left, and the correct values
23+(“right” values) are stored on the right.
2124-}
2225data Either a b = Left a | Right b
2326