diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,4 +1,11 @@
 # Changelog for the Clash project
+## 1.6.1 *Feb 11th 2022*
+Changed:
+  * We accidentally released `v1.6.0` with the Cabal flag `multiple-hidden` enabled. This is an experimental feature, supposed to be disabled by default for releases. `v1.6.1` disables it again.
+
+Added:
+  * `Clash.Class.HasDomain.TryDomain` instances for Clash sized types
+
 ## 1.6.0 *Feb 10th 2022*
 Added:
   * `Clash.Class.Counter`: a class that defines a odometer-style supercounter. [#1763](https://github.com/clash-lang/clash-compiler/pull/1763)
diff --git a/clash-prelude.cabal b/clash-prelude.cabal
--- a/clash-prelude.cabal
+++ b/clash-prelude.cabal
@@ -1,6 +1,6 @@
 Cabal-version:        2.2
 Name:                 clash-prelude
-Version:              1.6.0
+Version:              1.6.1
 Synopsis:             Clash: a functional hardware description language - Prelude library
 Description:
   Clash is a functional hardware description language that borrows both its
@@ -96,7 +96,7 @@
     experimental feature, possibly triggering confusing error messages. By
     default, it is enabled on development versions of Clash and disabled on
     releases.
-  default: True
+  default: False
   manual: True
 
 flag doctests
diff --git a/src/Clash/Class/HasDomain/HasSingleDomain.hs b/src/Clash/Class/HasDomain/HasSingleDomain.hs
--- a/src/Clash/Class/HasDomain/HasSingleDomain.hs
+++ b/src/Clash/Class/HasDomain/HasSingleDomain.hs
@@ -1,7 +1,8 @@
 {-|
 Copyright  :  (C) 2019, Myrtle Software Ltd
+                  2022, QBayLogic B.V.
 License    :  BSD2 (see the file LICENSE)
-Maintainer :  Christiaan Baaij <christiaan.baaij@gmail.com>
+Maintainer :  QBayLogic B.V. <devops@qbaylogic.com>
 
 Internals for "Clash.Class.HasDomain"
 -}
@@ -24,12 +25,21 @@
 
 import           Clash.Sized.Vector               (Vec)
 import           Clash.Sized.RTree                (RTree)
+import           Clash.Sized.Index                (Index)
+import           Clash.Sized.Unsigned             (Unsigned)
+import           Clash.Sized.Signed               (Signed)
+import           Clash.Sized.BitVector            (BitVector, Bit)
+import           Clash.Sized.Fixed                (Fixed)
+
 import           Clash.Signal.Internal
   (Signal, Domain, Clock, Reset, Enable)
 import           Clash.Signal.Delayed.Internal    (DSignal)
 
+import           Numeric.Natural                  (Natural)
+
 import           Data.Kind                        (Type)
 import           Data.Proxy                       (Proxy)
+import           GHC.TypeLits                     (type (+))
 import           Type.Errors
   (DelayError, TypeError, IfStuck, Pure)
 
@@ -144,25 +154,24 @@
 type instance TryDomain t (Proxy dom)           = 'Found dom
 type instance TryDomain t (Vec n a)             = TryDomain t a
 type instance TryDomain t (RTree d a)           = TryDomain t a
+type instance TryDomain t (Index n)             = 'NotFound
+type instance TryDomain t (Unsigned n)          = 'NotFound
+type instance TryDomain t (Signed n)            = 'NotFound
+type instance TryDomain t (BitVector n)         = 'NotFound
+type instance TryDomain t Bit                   = 'NotFound
+type instance TryDomain t (Fixed a n m)         = TryDomain t (a (n + m))
 type instance TryDomain t (a -> b)              = Merge t a b
 type instance TryDomain t (a, b)                = Merge t a b
 
 type instance TryDomain t ()                    = 'NotFound
 type instance TryDomain t Bool                  = 'NotFound
 type instance TryDomain t Integer               = 'NotFound
+type instance TryDomain t Natural               = 'NotFound
 type instance TryDomain t Int                   = 'NotFound
 type instance TryDomain t Float                 = 'NotFound
 type instance TryDomain t Double                = 'NotFound
 type instance TryDomain t (Maybe a)             = TryDomain t a
 type instance TryDomain t (Either a b)          = Merge t a b
-
--- TODO: Add more instances, including:
---type instance TryDomain t Bit                   = 'NotFound
---type instance TryDomain t (BitVector n)         = 'NotFound
---type instance TryDomain t (Index n)             = 'NotFound
---type instance TryDomain t (Fixed rep int frac)  = 'NotFound
---type instance TryDomain t (Signed n)            = 'NotFound
---type instance TryDomain t (Unsigned n)          = 'NotFound
 
 -- | Type family that searches a type and checks whether all subtypes that can
 -- contain a domain (for example, Signal) contain the /same/ domain. Its