diff --git a/Data/Sized.hs b/Data/Sized.hs
--- a/Data/Sized.hs
+++ b/Data/Sized.hs
@@ -167,8 +167,8 @@
 
 -- | @Sing@ version of 'length'.
 --
--- Since 0.2.0.0
-sLength :: forall f (n :: nat) a. (HasOrdinal nat, ListLike (f a) a)
+-- Since 0.5.0.0 (type changed)
+sLength :: forall f nat (n :: nat) a. (HasOrdinal nat, ListLike (f a) a)
         => Sized f n a -> Sing n
 sLength (Sized xs) =
   case fromNatural (P.fromIntegral $ LL.length xs) of
@@ -413,8 +413,8 @@
 
 -- | Empty sequence.
 --
--- Since 0.1.0.0
-empty :: forall f a. (HasOrdinal nat, ListLike (f a) a) => Sized f (Zero nat :: nat) a
+-- Since 0.5.0.0 (type changed)
+empty :: forall f nat a. (HasOrdinal nat, ListLike (f a) a) => Sized f (Zero nat :: nat) a
 empty = Sized LL.empty
 {-# INLINE empty #-}
 
@@ -439,7 +439,7 @@
 -- | Replicates the same value.
 --
 -- Since 0.1.0.0
-replicate :: forall f (n :: nat) a. (HasOrdinal nat, ListLike (f a) a)
+replicate :: forall f nat (n :: nat) a. (HasOrdinal nat, ListLike (f a) a)
           => Sing n -> a -> Sized f n a
 replicate sn a = Sized $ LL.genericReplicate (toNatural sn) a
 {-# INLINE replicate #-}
@@ -734,9 +734,9 @@
 --   Otherwise returns @Sized f n a@ consisting of initial @n@ element
 --   of given list.
 --
--- Since 0.1.0.0
-fromList :: forall f n a. (HasOrdinal nat, ListLike (f a) a)
-         => Sing (n :: nat) -> [a] -> Maybe (Sized f n a)
+--   Since 0.5.0.0 (type changed)
+fromList :: forall f nat (n :: nat) a. (HasOrdinal nat, ListLike (f a) a)
+         => Sing n -> [a] -> Maybe (Sized f n a)
 fromList Zero _ = Just $ Sized (LL.empty :: f a)
 fromList sn xs =
   let len = P.fromIntegral $ toNatural sn
@@ -794,8 +794,8 @@
 
 -- | Construct a @Sized f n a@ by padding default value if the given list is short.
 --
--- Since 0.1.0.0
-fromListWithDefault :: forall f (n :: nat) a. (HasOrdinal nat, ListLike (f a) a)
+--   Since 0.5.0.0 (type changed)
+fromListWithDefault :: forall f nat (n :: nat) a. (HasOrdinal nat, ListLike (f a) a)
                     => Sing n -> a -> [a] -> Sized f n a
 fromListWithDefault sn def xs =
   let len = toNatural sn
@@ -1101,8 +1101,8 @@
 --   then @'sUnsafeElemIndex'@ is much faster and
 --   also safe for most cases.
 --
---   Since 0.1.0.0
-sElemIndex :: forall (n :: nat) f a.
+--   Since 0.5.0.0 (type changed)
+sElemIndex :: forall nat (n :: nat) f a.
               (SingI n, ListLike (f a) a, Eq a, HasOrdinal nat)
            => a -> Sized f n a -> Maybe (Ordinal n)
 sElemIndex a (Sized xs) = do
@@ -1114,7 +1114,8 @@
         SFalse -> Nothing
 {-# INLINE sElemIndex #-}
 
-sUnsafeElemIndex :: forall (n :: nat) f a.
+-- | Since 0.5.0.0 (type changed)
+sUnsafeElemIndex :: forall nat (n :: nat) f a.
                     (SingI n, ListLike (f a) a, Eq a, HasOrdinal nat)
                  => a -> Sized f n a -> Maybe (Ordinal n)
 sUnsafeElemIndex a (Sized xs) =
@@ -1185,8 +1186,8 @@
 
 -- | Case analysis for the cons-side of sequence.
 --
--- Since 0.1.0.0
-viewCons :: forall f a (n :: nat). (HasOrdinal nat, ListLike (f a) a)
+-- Since 0.5.0.0 (type changed)
+viewCons :: forall f a nat (n :: nat). (HasOrdinal nat, ListLike (f a) a)
          => Sized f n a
          -> ConsView f n a
 viewCons sz = case zeroOrSucc (sLength sz) of
@@ -1203,8 +1204,8 @@
 
 -- | Case analysis for the snoc-side of sequence.
 --
--- Since 0.1.0.0
-viewSnoc :: forall f (n :: nat) a. (HasOrdinal nat, ListLike (f a) a)
+-- Since 0.5.0.0 (type changed)
+viewSnoc :: forall f nat (n :: nat) a. (HasOrdinal nat, ListLike (f a) a)
          => Sized f n a
          -> SnocView f n a
 viewSnoc sz = case zeroOrSucc (sLength sz) of
diff --git a/sized.cabal b/sized.cabal
--- a/sized.cabal
+++ b/sized.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                sized
-version:             0.4.0.0
+version:             0.5.0.0
 synopsis:            Sized sequence data-types
 description:         A wrapper to make length-parametrized data-type from ListLike data-types.
 license:             BSD3
@@ -14,7 +14,8 @@
 build-type:          Simple
 -- extra-source-files:  
 cabal-version:       >=1.10
-tested-with:         GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.2, GHC == 8.6.5, GHC == 8.8.2
+tested-with:         GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.2,
+                     GHC == 8.6.5, GHC == 8.8.3, GHC == 8.10.1
 
 source-repository head
   Type: git