diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,12 @@
 # Changelog for list-tuple
 
+## 0.1.1.0
+
+2019.10.11
+
+Fix a build error.
+Add missed extra-source-files.
+
 ## 0.1.0.0
 
 2019.10.10
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,1 +1,5 @@
-# homotuple
+# list-tuple
+
+[![CircleCI](https://circleci.com/gh/kakkun61/tuple/tree/master.svg?style=svg)](https://circleci.com/gh/kakkun61/tuple/tree/master)
+
+[![Hackage](http://hackage.haskell.org/package/list-tuple)](https://matrix.hackage.haskell.org/api/v2/packages/list-tuple/badge)
diff --git a/list-tuple.cabal b/list-tuple.cabal
--- a/list-tuple.cabal
+++ b/list-tuple.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 8483043ca4b85bbe594829f7a49fa181056f2cfff834a8c26fe67d0562b4d8cc
+-- hash: 915fa7da0759ab97248f8de0333559db953eadbdfbe9746cffcadd39cb307ed2
 
 name:           list-tuple
-version:        0.1.0.0
+version:        0.1.1.0
 synopsis:       List-like operations for tuples
 description:    List-like operations for tuples
 category:       Data
@@ -22,6 +22,8 @@
 extra-source-files:
     README.md
     ChangeLog.md
+    template/List.hs
+    template/ListAt.hs
 
 source-repository head
   type: git
@@ -43,12 +45,14 @@
       Paths_list_tuple
   hs-source-dirs:
       src
-  ghc-options: -Wall -Wcompat -Wincomplete-uni-patterns -Wincomplete-record-updates -Wmonomorphism-restriction -Wmissing-exported-signatures -Wmissing-export-lists -Wmissing-home-modules -Wmissing-import-lists -Widentities -Wredundant-constraints -Wpartial-fields -Wno-name-shadowing -Wno-unticked-promoted-constructors
+  ghc-options: -Wall -Wcompat -Wincomplete-uni-patterns -Wincomplete-record-updates -Wmonomorphism-restriction -Wmissing-exported-signatures -Wmissing-home-modules -Wmissing-import-lists -Widentities -Wredundant-constraints -Wno-name-shadowing -Wno-unticked-promoted-constructors
   build-depends:
       OneTuple >=0.2 && <0.3
     , Only >=0.1 && <0.2
-    , base >=4.12 && <4.13
+    , base >=4.10 && <4.13
     , single-tuple >=0.1 && <0.2
+  if impl(ghc >= 8.4.0)
+    ghc-options: -Wmissing-export-lists -Wpartial-fields
   default-language: Haskell2010
 
 test-suite test
@@ -60,14 +64,18 @@
       Paths_list_tuple
   hs-source-dirs:
       test
-  ghc-options: -Wall -Wcompat -Wincomplete-uni-patterns -Wincomplete-record-updates -Wmonomorphism-restriction -Wmissing-exported-signatures -Wmissing-export-lists -Wmissing-home-modules -Wmissing-import-lists -Widentities -Wredundant-constraints -Wpartial-fields -Wno-name-shadowing -Wno-unticked-promoted-constructors -threaded -rtsopts -with-rtsopts=-N -Wno-missing-export-lists -Wno-missing-import-lists
+  ghc-options: -Wall -Wcompat -Wincomplete-uni-patterns -Wincomplete-record-updates -Wmonomorphism-restriction -Wmissing-exported-signatures -Wmissing-home-modules -Wmissing-import-lists -Widentities -Wredundant-constraints -Wno-name-shadowing -Wno-unticked-promoted-constructors -threaded -rtsopts -with-rtsopts=-N -Wno-missing-import-lists
   build-depends:
       Only
-    , base >=4.12 && <4.13
+    , base >=4.10 && <4.13
     , deepseq
     , hspec
     , list-tuple
     , should-not-typecheck
     , single-tuple
     , text
+  if impl(ghc >= 8.4.0)
+    ghc-options: -Wmissing-export-lists -Wpartial-fields
+  if impl(ghc >= 8.4.0)
+    ghc-options: -Wno-missing-export-lists
   default-language: Haskell2010
diff --git a/template/List.hs b/template/List.hs
new file mode 100644
--- /dev/null
+++ b/template/List.hs
@@ -0,0 +1,52 @@
+-- <length>
+
+type instance Cons a <tail> = <tuple>
+type instance Head <tuple> = a
+type instance Tail <tuple> = <tail>
+type instance Init <tuple> = <init>
+type instance Last <tuple> = <last>
+type instance Length <tuple> = <length>
+
+instance HasHead' <tuple> a where
+  head' <tuple-head> = a
+
+instance HasTail' <tuple> <tail> where
+  tail' <tuple-tail> = <tail>
+
+instance HasInit' <tuple> <init> where
+  init' <tuple-init> = <init>
+
+instance HasLast' <tuple> <last> where
+  last' <tuple-last> = <last>
+
+instance HasCons' <tuple> a <tail> where
+  cons' a <tail> = <tuple>
+
+instance HasUncons' <tuple> a <tail> where
+  uncons' <tuple> = (a, <tail>)
+
+instance HasHead <tuple>
+
+instance HasTail <tuple>
+
+instance HasInit <tuple>
+
+instance HasLast <tuple>
+
+instance HasCons a <tail>
+
+instance HasUncons <tuple>
+
+instance HasLength <tuple>
+
+{-# COMPLETE Cons' :: <cons> #-}
+{-# COMPLETE Cons :: <cons> #-}
+
+type instance Reverse <tuple> = <reverse>
+
+instance HasReverse' <tuple> <reverse> where
+  reverse' <tuple> = <reverse>
+
+instance HasReverse <tuple>
+
+---- has-at
diff --git a/template/ListAt.hs b/template/ListAt.hs
new file mode 100644
--- /dev/null
+++ b/template/ListAt.hs
@@ -0,0 +1,6 @@
+type instance <tuple> !! <at> = <item>
+
+instance HasAt' <tuple> <at> <item> where
+  <tuple-at> !!! _ = <item>
+
+instance HasAt <tuple> <at>