--- !!! Checking that lazy name clashing work.
-module ShouldSucceed where
+-- !!! Checking that lazy name clashing works
+module ShouldCompile where
import List ( sort )
-ShouldSucceed.sort :: Int
-ShouldSucceed.sort = 3
+sort :: Int
+sort = 3
+
+foo :: Int
+foo = ShouldCompile.sort
+
+baz :: (Ord a) => [a] -> [a]
+baz = List.sort