Add DeepSubsumption08

(cherry picked from commit 671899858585376dcbbbdc3740dad4b8ec7b6a70)

2 files changed, 17 insertions, 0 deletions

diff --git a/testsuite/tests/typecheck/should_compile/DeepSubsumption08.hs b/testsuite/tests/typecheck/should_compile/DeepSubsumption08.hs
new file mode 100644
index 0000000000..d4019df3d8
--- /dev/null
+++ b/testsuite/tests/typecheck/should_compile/DeepSubsumption08.hs
@@ -0,0 +1,16 @@
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE Haskell2010 #-}
+module DeepSubsumption08 where
+
+class (Traversable f, Applicative f) => Identical f where
+  extract :: f a -> a
+
+type LensLike f s t a b = (a -> f b) -> (s -> f t)
+type Setter s t a b = forall f. Identical f => LensLike f s t a b
+
+(.~) :: Setter s t a b -> b -> s -> t
+(.~) a = undefined
+
+-- | Sets the provided lens in @a@ to @Nothing@.
+clear :: Setter a a' b (Maybe b') -> a -> a'
+clear = (.~ Nothing)
diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T
index da674e0a2c..dc120a748f 100644
--- a/testsuite/tests/typecheck/should_compile/all.T
+++ b/testsuite/tests/typecheck/should_compile/all.T
@@ -802,3 +802,4 @@ test('DeepSubsumption04', normal, compile, [''])
 test('DeepSubsumption05', normal, compile, [''])
 test('DeepSubsumption06', normal, compile, ['-XHaskell98'])
 test('DeepSubsumption07', normal, compile, ['-XHaskell2010'])
+test('DeepSubsumption08', normal, compile, [''])