diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,15 @@
 # Revision history for type-of-html
 
+## 1.3.3.0  -- 2018-02-07
+
+* fix the 'input' element
+
+## 1.3.2.2  -- 2018-01-29
+
+* ghc 8.4 compatibility
+* better allocation strategy
+* allow more lists
+
 ## 1.3.1.0  -- 2017-12-28
 
 * internal cleanup
diff --git a/src/Html/Element.hs b/src/Html/Element.hs
--- a/src/Html/Element.hs
+++ b/src/Html/Element.hs
@@ -412,11 +412,11 @@
 img_A :: ('Img <?> a) () => a -> ('Img :@: a) ()
 img_A = flip WithAttributes ()
 
-input_ :: ('Input ?> a) => a -> 'Input > a
-input_ = WithAttributes ()
+input_ :: 'Input > ()
+input_ = WithAttributes () ()
 
-input_A :: ('Input <?> a) b => a -> b -> ('Input :@: a) b
-input_A = WithAttributes
+input_A :: ('Input <?> a) () => a -> ('Input :@: a) ()
+input_A = flip WithAttributes ()
 
 ins_ :: ('Ins ?> a) => a -> 'Ins > a
 ins_ = WithAttributes ()
diff --git a/src/Html/Reify.hs b/src/Html/Reify.hs
--- a/src/Html/Reify.hs
+++ b/src/Html/Reify.hs
@@ -94,7 +94,7 @@
   {-# INLINE render #-}
   render (T ~(WithAttributes b c))
     = render (T b :: T (Take (Length b) ps) b)
-   <> render (T c :: T (Drop (Length b) ps) c)
+    <> render (T c :: T (Drop (Length b) ps) c)
 
 instance
   ( R (T (Take (Length a) ps) a)
@@ -103,7 +103,7 @@
   {-# INLINE render #-}
   render (T ~(a :#: b))
     = render (T a :: T (Take (Length a) ps) a)
-   <> render (T b :: T (Drop (Length a) ps) b)
+    <> render (T b :: T (Drop (Length a) ps) b)
 
 instance
   ( R (T (ToList a) a)
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
@@ -722,8 +722,8 @@
   GetEInfo Details    = EInfo "details"       '[ FlowContent ]                                   ( FlowContent :|: SingleElement Summary)
   GetEInfo Dfn        = EInfo "dfn"           '[ FlowContent, PhrasingContent ]                  (PhrasingContent :&: NOT (SingleElement Dfn))
   GetEInfo Dialog     = EInfo "dialog"        '[ FlowContent ]                                   FlowContent
-  GetEInfo Div        = EInfo "div"           '[ FlowContent ]                                   (FlowContent :|: SingleElement Dt :|: SingleElement Dd :|: SingleElement Script :|: SingleElement Template)
-  GetEInfo Dl         = EInfo "dl"            '[ FlowContent ]                                   (SingleElement Dt :|: SingleElement Dd :|: SingleElement Script :|: SingleElement Template :|: SingleElement Div)
+  GetEInfo 'Div       = EInfo "div"           '[ FlowContent ]                                   (FlowContent :|: SingleElement Dt :|: SingleElement Dd :|: SingleElement Script :|: SingleElement Template)
+  GetEInfo Dl         = EInfo "dl"            '[ FlowContent ]                                   (SingleElement Dt :|: SingleElement Dd :|: SingleElement Script :|: SingleElement Template :|: SingleElement 'Div)
   GetEInfo Dt         = EInfo "dt"            '[]                                                (FlowContent :&: NOT (SingleElement Header :|: SingleElement Footer :|: SectioningContent :|: HeadingContent))
   GetEInfo Em         = EInfo "em"            '[ FlowContent, PhrasingContent ]                  PhrasingContent
   GetEInfo Embed      = EInfo "embed"         '[ FlowContent, PhrasingContent ]                  NoContent
@@ -746,6 +746,7 @@
   GetEInfo I          = EInfo "i"             '[ FlowContent, PhrasingContent ]                  PhrasingContent
   GetEInfo Iframe     = EInfo "iframe"        '[ FlowContent, PhrasingContent ]                  NoContent
   GetEInfo Img        = EInfo "img"           '[ FlowContent, PhrasingContent ]                  NoContent
+  GetEInfo Input      = EInfo "input"         '[]                                                NoContent
   GetEInfo Ins        = EInfo "ins"           '[ FlowContent, PhrasingContent ]                  OnlyText
   GetEInfo Kbd        = EInfo "kbd"           '[ FlowContent, PhrasingContent ]                  PhrasingContent
   GetEInfo Label      = EInfo "label"         '[ FlowContent, PhrasingContent ]                  (PhrasingContent :&: NOT (SingleElement Label))
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.2.1
+version:              1.3.3.0
 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