T10770b.hs 247 Bytes
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1 2 3 4 5 6 7 8 9
{-# LANGUAGE FlexibleContexts #-}
{-# OPTIONS_GHC -fwarn-redundant-constraints #-}
module T10770b where

f :: (Show a, Show (Maybe a)) => Maybe a -> String
f x = let k = show x in k

g :: (Show a, Show (Maybe a)) => Maybe a -> String
g x = show x