Place Veither doc on top of kind declaration

This was originally placed here but had to be moved
to the newtype declaration because purs didn't
produce docs for kind signatures before v0.14.3

src/Data/Veither.purs

@@ -30,7 +30,6 @@ import Test.QuickCheck.Gen (Gen, oneOf, frequency)
 import Type.Proxy (Proxy(..))
 import Unsafe.Coerce (unsafeCoerce)
 
-newtype Veither ∷ Row Type → Type → Type
 -- | `Veither` is the same as `Either` except that the `l` type can be zero to many different types.
 -- | `Veither` has all the instances that `Either` has, except for `Eq1` and `Ord1`, which simply
 -- | haven't been implemented yet. If you would use a function from `Data.Either` (e.g. hush) and
@@ -100,6 +99,7 @@ newtype Veither ∷ Row Type → Type → Type
 -- | - `genVeitherUniform` - same as `genEither` but with uniform probability
 -- | - `genVeitherFrequency` - same as `genEither` but with user-specified probability
 -- |
+newtype Veither ∷ Row Type → Type → Type
 newtype Veither errorRows a = Veither (Variant ("_" ∷ a | errorRows))
 
 -- | Proxy type for `Veither`'s happy path (e.g. `Either`'s `Right` constructor).