diff --git a/src/Html/Type/Internal.hs b/src/Html/Type/Internal.hs
--- a/src/Html/Type/Internal.hs
+++ b/src/Html/Type/Internal.hs
@@ -377,7 +377,7 @@
 -- | Check whether `a` is a valid attribute and `b` is a valid child of `p`.
 type (<?>) p a b = (Check Attribute p a, Check Element p b)
 
-{-# DEPRECATED (??>) "This will be removed in a future release, use <?> instead" #-}
+{-# DEPRECATED (??>) "This will be removed in a future release, use `<?>` instead" #-}
 type a ??> b = Check Attribute a b
 
 type family Check f a b :: Constraint where
@@ -385,9 +385,9 @@
   Check f a (b # c)                 = (Check f a b, Check f a c)
   Check f a (Maybe b)               = Check f a b
   Check f a (Either b c)            = (Check f a b, Check f a c)
+  Check Element a ((b :@: _) _)     = MaybeTypeError a b (CheckContentCategory (EInfoContent (GetEInfo a)) (SingleElement b ': EInfoCategories (GetEInfo b)))
   Check Element a (f ((b :@: c) d)) = Check Element a ((b :@: c) d)
   Check Element a (f (b # c))       = Check Element a (b # c)
-  Check Element a ((b :@: _) _)     = MaybeTypeError a b (CheckContentCategory (EInfoContent (GetEInfo a)) (SingleElement b ': EInfoCategories (GetEInfo b)))
   Check Element a b                 = CheckString a b
   Check Attribute a (b := _)        = If (Elem a (AInfoElements (GetAInfo b)) || Null (AInfoElements (GetAInfo b)))
                                         (() :: Constraint)
diff --git a/type-of-html.cabal b/type-of-html.cabal
--- a/type-of-html.cabal
+++ b/type-of-html.cabal
@@ -1,5 +1,5 @@
 name:                 type-of-html
-version:              1.3.1.0
+version:              1.3.1.1
 synopsis:             High performance type driven html generation.
 description:          This library makes most invalid html documents compile time errors and uses advanced type level features to realise compile time computations.
 license:              BSD3
@@ -31,7 +31,7 @@
   hs-source-dirs:     src
   default-language:   Haskell2010
   ghc-options:        -Wall
-  build-depends:      base >= 4.9 && < 4.11
+  build-depends:      base >= 4.9 && < 5
                     , text
                     , bytestring
                     , ghc-prim
@@ -43,7 +43,7 @@
   hs-source-dirs:     test
   ghc-options:        -Wall -O0
   default-language:   Haskell2010
-  build-depends:      base >= 4.9 && < 4.11
+  build-depends:      base >= 4.9 && < 5
                     , type-of-html
                     , QuickCheck
                     , hspec
@@ -56,9 +56,9 @@
                     , Big
                     , Blaze
   hs-source-dirs:     bench
-  ghc-options:        -Wall -O2
+  ghc-options:        -Wall -O0
   default-language:   Haskell2010
-  build-depends:      base >= 4.9 && < 4.11
+  build-depends:      base >= 4.9 && < 5
                     , type-of-html
                     , text
                     , bytestring