case11 :: Assertion
case11 = expected @=? testStep (step 80 Utrecht False False) input
  where
    input = unlines
        [ "{-# LANGUAGE OverloadedStrings #-}"
        , ""
        , "main = undefined"
        ]

    expected = unlines
        [ "{-# LANGUAGE OverloadedStrings #-}"
        , ""
        , "main = undefined"
        ]
case11 :: Assertion
case11 = expected @=? testStep (step 80 Utrecht False False) input
  where
    input = unlines
        [ "{-# LANGUAGE OverloadedStrings #-}"
        , ""
        , "main = undefined"
        ]

    expected = unlines
        [ "{-# LANGUAGE OverloadedStrings #-}"
        , ""
        , "main = undefined"
        ]
case11 = expected @=? testStep (step 80 Utrecht False False) input
  where
    input = unlines
        [ "{-# LANGUAGE OverloadedStrings #-}"
        , ""
        , "main = undefined"
        ]

    expected = unlines
        [ "{-# LANGUAGE OverloadedStrings #-}"
        , ""
        , "main = undefined"
        ]