diff --git a/GHC/TypeLits/Induction.hs b/GHC/TypeLits/Induction.hs
index 56ec5b5..05a646d 100644
--- a/GHC/TypeLits/Induction.hs
+++ b/GHC/TypeLits/Induction.hs
@@ -1,12 +1,13 @@
 -- |
 -- Module      : GHC.TypeLits.Induction
 -- Description : Induction for GHC TypeLits
--- Copyright   : (C) 2017 mniip
+-- Copyright   : (C) 2017-2018 mniip
 -- License     : MIT
 -- Maintainer  : mniip@mniip.com
--- Stability   : experimental
+-- Stability   : stable
 -- Portability : portable
 {-# LANGUAGE TypeOperators, KindSignatures, DataKinds, PolyKinds, GADTs, RankNTypes, StandaloneDeriving, InstanceSigs, ScopedTypeVariables #-}
+{-# LANGUAGE Safe #-}
 {-# OPTIONS_GHC -fno-warn-tabs #-}
 
 module GHC.TypeLits.Induction
diff --git a/GHC/TypeLits/Singletons.hs b/GHC/TypeLits/Singletons.hs
index 1a146cf..8d588e0 100644
--- a/GHC/TypeLits/Singletons.hs
+++ b/GHC/TypeLits/Singletons.hs
@@ -1,12 +1,13 @@
 -- |
 -- Module      : GHC.TypeLits.Singletons
 -- Description : Singletons for GHC TypeLits
--- Copyright   : (C) 2017 mniip
+-- Copyright   : (C) 2017-2018 mniip
 -- License     : MIT
 -- Maintainer  : mniip@mniip.com
--- Stability   : experimental
+-- Stability   : stable
 -- Portability : portable
 {-# LANGUAGE TypeOperators, KindSignatures, DataKinds, PolyKinds, GADTs, RankNTypes, StandaloneDeriving, InstanceSigs, ScopedTypeVariables #-}
+{-# LANGUAGE Trustworthy #-}
 {-# OPTIONS_GHC -fno-warn-tabs #-}
 
 module GHC.TypeLits.Singletons
diff --git a/LICENSE b/LICENSE
index 450ec63..55a790b 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) 2017, mniip
+Copyright (c) 2017-2018, mniip
 
 All rights reserved.
 
diff --git a/singleton-typelits.cabal b/singleton-typelits.cabal
index 4994375..b6f1af9 100644
--- a/singleton-typelits.cabal
+++ b/singleton-typelits.cabal
@@ -1,5 +1,5 @@
 name:                singleton-typelits
-version:             0.0.0.0
+version:             0.0.0.1
 synopsis:            Singletons and induction over GHC TypeLits
 description:         Singletons and induction schemes over 'GHC.TypeLits.Nat'
 homepage:            https://github.com/mniip/singleton-typelits
@@ -13,5 +13,5 @@ cabal-version:       >=1.10
 
 library
   exposed-modules:     GHC.TypeLits.Singletons, GHC.TypeLits.Induction
-  build-depends:       base >=4.9 && <4.11
+  build-depends:       base >=4.9 && <4.12
   default-language:    Haskell2010