diff --git a/ivory-tasty/src/Ivory/Tasty.hs b/ivory-tasty/src/Ivory/Tasty.hs
index 8a886773..9dff8fbc 100644
--- a/ivory-tasty/src/Ivory/Tasty.hs
+++ b/ivory-tasty/src/Ivory/Tasty.hs
@@ -16,7 +16,7 @@
 -- > someArtifacts :: [Located Artifact]
 -- > someArtifacts = serializeArtifacts
 --
--- > someTestedFunction :: Def ('[] ':-> Sint32)
+-- > someTestedFunction :: Def ('[] :-> Sint32)
 -- > someTestedFunction = proc "main" $ body $ do
 -- >   assert false
 -- >   ret 0
@@ -68,7 +68,7 @@ import           Test.Tasty.HUnit (assertBool, testCase)
 
 data IvoryTestCase = IvoryTestCase {
     itcName          :: String
-  , itcFun           :: Def ('[] ':-> Sint32)
+  , itcFun           :: Def ('[] :-> Sint32)
   , itcDeps          :: ModuleDef
   , itcExpectSuccess :: Bool
   }
@@ -77,7 +77,7 @@ data IvoryTestCase = IvoryTestCase {
 -- expecting 0 exit code.
 mkSuccess
   :: String
-  -> Def ('[] ':-> Sint32)
+  -> Def ('[] :-> Sint32)
   -> IvoryTestCase
 mkSuccess name f = IvoryTestCase name f (pure ()) True
 
@@ -85,7 +85,7 @@ mkSuccess name f = IvoryTestCase name f (pure ()) True
 -- expecting non-0 exit code.
 mkFailure
   :: String
-  -> Def ('[] ':-> Sint32)
+  -> Def ('[] :-> Sint32)
   -> IvoryTestCase
 mkFailure name f = IvoryTestCase name f (pure ()) False
 
diff --git a/ivory-tasty/test/Test.hs b/ivory-tasty/test/Test.hs
index 5e7ddeb3..5ce7ea27 100644
--- a/ivory-tasty/test/Test.hs
+++ b/ivory-tasty/test/Test.hs
@@ -22,20 +22,20 @@ main = defaultMain $ ivoryTestGroup [uartTypes] []
   , setDeps (depend uartTypes) $ mkSuccess "test with dependencies" testDeps
   ]
 
-testSmoke :: Def ('[] ':-> Sint32)
+testSmoke :: Def ('[] :-> Sint32)
 testSmoke = proc "main" $ body $ do
   ret 0
 
-testSmokeFailing :: Def ('[] ':-> Sint32)
+testSmokeFailing :: Def ('[] :-> Sint32)
 testSmokeFailing = proc "main" $ body $ do
   ret 1
 
-testAssertFailing :: Def ('[] ':-> Sint32)
+testAssertFailing :: Def ('[] :-> Sint32)
 testAssertFailing = proc "main" $ body $ do
   assert false
   ret 0
 
-testDeps :: Def ('[] ':-> Sint32)
+testDeps :: Def ('[] :-> Sint32)
 testDeps = proc "main" $ body $ do
   (a :: Ref s UARTBuffer) <- local $ stringInit "yolo"
   lA <- deref (a ~> stringLengthL)