Fix compiler warnings

Author: JordanMartinez

src/Type/Prelude.purs

@@ -9,7 +9,7 @@ module Type.Prelude
   ) where
 
 import Type.Data.Boolean (True, False, BProxy(..), class IsBoolean, reflectBoolean, reifyBoolean)
-import Type.Data.Ordering (kind Ordering, LT, EQ, GT, OProxy(..), class IsOrdering, reflectOrdering, reifyOrdering)
+import Type.Data.Ordering (Ordering, LT, EQ, GT, OProxy(..), class IsOrdering, reflectOrdering, reifyOrdering)
 import Type.Proxy (Proxy(..))
 import Type.Data.Symbol (SProxy(..), class IsSymbol, reflectSymbol, reifySymbol, class Compare, compare, class Append, append)
 import Type.Equality (class TypeEquals, from, to)

src/Type/Row.purs

@@ -26,7 +26,7 @@ infixr 0 type APPLY as $
 -- | FLIP Int Maybe == Maybe Int
 -- | ```
 -- | Note: an infix for FLIP (e.g. `Int # Maybe`) is not allowed since
--- | `# Type` is an alias for `Row Type`
+-- | `Row Type` is an alias for `Row Type`
 type FLIP ∷ ∀ d c . d → (d → c) → c
 type FLIP a f = f a
 

src/Type/Row/Homogeneous.purs

@@ -4,7 +4,7 @@ module Type.Row.Homogeneous
   ) where
 
 import Type.Equality (class TypeEquals)
-import Type.RowList (class RowToList, Cons, Nil, kind RowList)
+import Type.RowList (class RowToList, Cons, Nil, RowList)
 
 -- | Ensure that every field in a row has the same type.
 class Homogeneous :: forall k. Row k -> k -> Constraint

src/Type/RowList.purs

@@ -9,7 +9,7 @@ module Type.RowList
   ) where
 
 import Prim.Row as Row
-import Prim.RowList (kind RowList, Cons, Nil, class RowToList)
+import Prim.RowList (RowList, Cons, Nil, class RowToList)
 import Type.Equality (class TypeEquals)
 import Type.Data.Symbol as Symbol
 import Type.Data.Boolean as Boolean