Mixed type variables in chapter 18, exercise 2

[2bdkid]

data PhhhbtEither a b =
    Left' a
  | Right' b
  deriving (Eq, Show)

should be

data PhhhbtEither b a =
    Left' a
  | Right' b
  deriving (Eq, Show)