blob: 40f15bf7610fb966cd11a8e37c86d23f9da663c8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
TYPE SIGNATURES
somethingShowable :: Show Bool => Bool -> String
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.1]
SomethingShowable.hs:5:1: warning: [-Wsimplifiable-class-constraints (in -Wdefault)]
The constraint ‘Show Bool’ matches an instance declaration
instance Show Bool -- Defined in ‘GHC.Show’
This makes type inference very fragile;
try simplifying it using the instance
|