Test #10770
[ghc.git] / testsuite / tests / typecheck / should_compile / T10770b.hs
1 {-# LANGUAGE FlexibleContexts #-}
2 {-# OPTIONS_GHC -fwarn-redundant-constraints #-}
3 module T10770b where
4
5 f :: (Show a, Show (Maybe a)) => Maybe a -> String
6 f x = let k = show x in k
7
8 g :: (Show a, Show (Maybe a)) => Maybe a -> String
9 g x = show x