diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,7 @@
+# Changelog
+
+## [0.1.0.0] - 2024-08-06
+
+### Added
+
+* Instances for `DList` and `DNonEmpty`
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2016-2024 Tom Sydney Kerckhove, Clinton Mead
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
diff --git a/src/Data/Validity/DList.hs b/src/Data/Validity/DList.hs
new file mode 100644
--- /dev/null
+++ b/src/Data/Validity/DList.hs
@@ -0,0 +1,11 @@
+{-# OPTIONS_GHC -fno-warn-orphans #-}
+
+module Data.Validity.DList () where
+
+import Data.DList (DList)
+import qualified Data.DList as DList
+import Data.Validity (Validity (..))
+
+-- | A 'DList' of things is valid if list of the same things is valid
+instance (Validity v) => Validity (DList v) where
+  validate = validate . DList.toList
diff --git a/src/Data/Validity/DNonEmpty.hs b/src/Data/Validity/DNonEmpty.hs
new file mode 100644
--- /dev/null
+++ b/src/Data/Validity/DNonEmpty.hs
@@ -0,0 +1,11 @@
+{-# OPTIONS_GHC -fno-warn-orphans #-}
+
+module Data.Validity.DNonEmpty () where
+
+import Data.DList.DNonEmpty (DNonEmpty)
+import qualified Data.DList.DNonEmpty as DNonEmpty
+import Data.Validity (Validity (..))
+
+-- | A 'DNonEmpty' of things is valid if a 'NonEmpty' of the same things is valid
+instance (Validity v) => Validity (DNonEmpty v) where
+  validate = validate . DNonEmpty.toList
diff --git a/validity-dlist.cabal b/validity-dlist.cabal
new file mode 100644
--- /dev/null
+++ b/validity-dlist.cabal
@@ -0,0 +1,38 @@
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.36.0.
+--
+-- see: https://github.com/sol/hpack
+
+name:           validity-dlist
+version:        0.1.0.0
+synopsis:       Validity instances for containers
+category:       Validity
+homepage:       https://github.com/NorfairKing/validity#readme
+bug-reports:    https://github.com/NorfairKing/validity/issues
+author:         Tom Sydney Kerckhove, Clinton Mead
+maintainer:     syd@cs-syd.eu
+copyright:      Copyright: (c) 2016-2024 Tom Sydney Kerckhove, Clinton Mead
+license:        MIT
+license-file:   LICENSE
+build-type:     Simple
+extra-source-files:
+    CHANGELOG.md
+
+source-repository head
+  type: git
+  location: https://github.com/NorfairKing/validity
+
+library
+  exposed-modules:
+      Data.Validity.DList
+      Data.Validity.DNonEmpty
+  other-modules:
+      Paths_validity_dlist
+  hs-source-dirs:
+      src
+  build-depends:
+      base >=4.7 && <5
+    , dlist
+    , validity >=0.5
+  default-language: Haskell2010