diff --git a/data/15-regressions.blt b/data/15-regressions.blt
index 0901cc4..2613f72 100644
--- a/data/15-regressions.blt
+++ b/data/15-regressions.blt
@@ -982,3 +982,6 @@ instance BMGuwigoc POtfuggj where
     | USilcnhkYaraposqu (WeyOoovf (Nubwlhtjd EculdW.QaeopznkAc r))
     deriving stock (Lirylfj1, Jexr)
     deriving anyclass Qart2.Vrzxuvcf
+
+#test bang-type
+data LabeledBool = LabeledBool !Int !Bool
diff --git a/source/library/Language/Haskell/Brittany/Internal/ToBriDoc/Type.hs b/source/library/Language/Haskell/Brittany/Internal/ToBriDoc/Type.hs
index 58e4d80..9e3ce7e 100644
--- a/source/library/Language/Haskell/Brittany/Internal/ToBriDoc/Type.hs
+++ b/source/library/Language/Haskell/Brittany/Internal/ToBriDoc/Type.hs
@@ -370,7 +370,9 @@ layoutType ltype@(L _ typ) = docHandleComms ltype $ case typ of
             ]
           )
       ]
-  HsBangTy{} -> -- TODO
+  HsBangTy epAnn (HsSrcBang NoSourceText NoSrcUnpack SrcStrict) innerTy -> do
+    docHandleComms epAnn $ docSeq [docLitS "!", layoutType innerTy]
+  HsBangTy {} ->
     briDocByExactInlineOnly "HsBangTy{}" ltype
   -- HsBangTy bang typ1 -> do
   --   let bangStr = case bang of