showsPrecTyped :: (Show a, Typeable a) => Int -> a -> ShowS
showsPrecTyped p x = showParen (p > 0) $
  shows x . showString " :: " . shows (typeOf x)
showsPrecTyped :: (Show a, Typeable a) => Int -> a -> ShowS
showsPrecTyped p x = showParen (p > 0) $
  shows x . showString " :: " . shows (typeOf x)
showsPrecTyped p x = showParen (p > 0) $
  shows x . showString " :: " . shows (typeOf x)