2 refinement_hole_fits.hs:4:5: warning: [-Wtyped-holes (in -Wdefault)]
3     • Found hole: _ :: [Integer] -> Integer
4     • In the expression: _
5       In an equation for ‘f’: f = _
6     • Relevant bindings include
7         f :: [Integer] -> Integer (bound at refinement_hole_fits.hs:4:1)
8       Valid hole fits include
9         f :: [Integer] -> Integer (bound at refinement_hole_fits.hs:4:1)
10         g :: [Integer] -> Integer (bound at refinement_hole_fits.hs:7:1)
11         head :: forall a. [a] -> a
12           with head @Integer
13           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
14            (and originally defined in ‘GHC.List’))
15         last :: forall a. [a] -> a
16           with last @Integer
17           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
18            (and originally defined in ‘GHC.List’))
19         maximum :: forall (t :: * -> *) a. (Foldable t, Ord a) => t a -> a
20           with maximum @[] @Integer
21           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
22            (and originally defined in ‘Data.Foldable’))
23         minimum :: forall (t :: * -> *) a. (Foldable t, Ord a) => t a -> a
24           with minimum @[] @Integer
25           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
26            (and originally defined in ‘Data.Foldable’))
27         product :: forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
28           with product @[] @Integer
29           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
30            (and originally defined in ‘Data.Foldable’))
31         sum :: forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
32           with sum @[] @Integer
33           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
34            (and originally defined in ‘Data.Foldable’))
35       Valid refinement hole fits include
36         foldl1 (_ :: Integer -> Integer -> Integer)
37           where foldl1 :: forall (t :: * -> *) a.
38                           Foldable t =>
39                           (a -> a -> a) -> t a -> a
40           with foldl1 @[] @Integer
41           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
42            (and originally defined in ‘Data.Foldable’))
43         foldr1 (_ :: Integer -> Integer -> Integer)
44           where foldr1 :: forall (t :: * -> *) a.
45                           Foldable t =>
46                           (a -> a -> a) -> t a -> a
47           with foldr1 @[] @Integer
48           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
49            (and originally defined in ‘Data.Foldable’))
50         foldl (_ :: Integer -> Integer -> Integer) (_ :: Integer)
51           where foldl :: forall (t :: * -> *) b a.
52                          Foldable t =>
53                          (b -> a -> b) -> b -> t a -> b
54           with foldl @[] @Integer @Integer
55           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
56            (and originally defined in ‘Data.Foldable’))
57         foldr (_ :: Integer -> Integer -> Integer) (_ :: Integer)
58           where foldr :: forall (t :: * -> *) a b.
59                          Foldable t =>
60                          (a -> b -> b) -> b -> t a -> b
61           with foldr @[] @Integer @Integer
62           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
63            (and originally defined in ‘Data.Foldable’))
64         const (_ :: Integer)
65           where const :: forall a b. a -> b -> a
66           with const @Integer @[Integer]
67           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
68            (and originally defined in ‘GHC.Base’))
69         (\$) (_ :: [Integer] -> Integer)
70           where (\$) :: forall a b. (a -> b) -> a -> b
71           with (\$) @'GHC.Types.LiftedRep @[Integer] @Integer
72           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
73            (and originally defined in ‘GHC.Base’))
74         return (_ :: Integer)
75           where return :: forall (m :: * -> *) a. Monad m => a -> m a
76           with return @((->) [Integer]) @Integer
77           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
78            (and originally defined in ‘GHC.Base’))
79         pure (_ :: Integer)
80           where pure :: forall (f :: * -> *) a. Applicative f => a -> f a
81           with pure @((->) [Integer]) @Integer
82           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
83            (and originally defined in ‘GHC.Base’))
84         (\$!) (_ :: [Integer] -> Integer)
85           where (\$!) :: forall a b. (a -> b) -> a -> b
86           with (\$!) @'GHC.Types.LiftedRep @[Integer] @Integer
87           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
88            (and originally defined in ‘GHC.Base’))
89         id (_ :: [Integer] -> Integer)
90           where id :: forall a. a -> a
91           with id @([Integer] -> Integer)
92           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
93            (and originally defined in ‘GHC.Base’))
94         head (_ :: [[Integer] -> Integer])
95           where head :: forall a. [a] -> a
96           with head @([Integer] -> Integer)
97           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
98            (and originally defined in ‘GHC.List’))
99         last (_ :: [[Integer] -> Integer])
100           where last :: forall a. [a] -> a
101           with last @([Integer] -> Integer)
102           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
103            (and originally defined in ‘GHC.List’))
104         asTypeOf (_ :: [Integer] -> Integer) (_ :: [Integer] -> Integer)
105           where asTypeOf :: forall a. a -> a -> a
106           with asTypeOf @([Integer] -> Integer)
107           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
108            (and originally defined in ‘GHC.Base’))
109         (!!) (_ :: [[Integer] -> Integer]) (_ :: Int)
110           where (!!) :: forall a. [a] -> Int -> a
111           with (!!) @([Integer] -> Integer)
112           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
113            (and originally defined in ‘GHC.List’))
115 refinement_hole_fits.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)]
116     • Found hole: _ :: Integer -> [Integer] -> Integer
117     • In the expression: _
118       In the expression: _ 0
119       In an equation for ‘g’: g = _ 0
120     • Relevant bindings include
121         g :: [Integer] -> Integer (bound at refinement_hole_fits.hs:7:1)
122       Valid hole fits include
123         const :: forall a b. a -> b -> a
124           with const @Integer @[Integer]
125           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
126            (and originally defined in ‘GHC.Base’))
127         return :: forall (m :: * -> *) a. Monad m => a -> m a
128           with return @((->) [Integer]) @Integer
129           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
130            (and originally defined in ‘GHC.Base’))
131         pure :: forall (f :: * -> *) a. Applicative f => a -> f a
132           with pure @((->) [Integer]) @Integer
133           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
134            (and originally defined in ‘GHC.Base’))
135       Valid refinement hole fits include
136         foldl (_ :: Integer -> Integer -> Integer)
137           where foldl :: forall (t :: * -> *) b a.
138                          Foldable t =>
139                          (b -> a -> b) -> b -> t a -> b
140           with foldl @[] @Integer @Integer
141           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
142            (and originally defined in ‘Data.Foldable’))
143         foldr (_ :: Integer -> Integer -> Integer)
144           where foldr :: forall (t :: * -> *) a b.
145                          Foldable t =>
146                          (a -> b -> b) -> b -> t a -> b
147           with foldr @[] @Integer @Integer
148           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
149            (and originally defined in ‘Data.Foldable’))
150         curry (_ :: (Integer, [Integer]) -> Integer)
151           where curry :: forall a b c. ((a, b) -> c) -> a -> b -> c
152           with curry @Integer @[Integer] @Integer
153           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
154            (and originally defined in ‘Data.Tuple’))
155         flip (_ :: [Integer] -> Integer -> Integer)
156           where flip :: forall a b c. (a -> b -> c) -> b -> a -> c
157           with flip @[Integer] @Integer @Integer
158           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
159            (and originally defined in ‘GHC.Base’))
160         const (_ :: [Integer] -> Integer)
161           where const :: forall a b. a -> b -> a
162           with const @([Integer] -> Integer) @Integer
163           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
164            (and originally defined in ‘GHC.Base’))
165         (\$) (_ :: Integer -> [Integer] -> Integer)
166           where (\$) :: forall a b. (a -> b) -> a -> b
167           with (\$) @'GHC.Types.LiftedRep @Integer @([Integer] -> Integer)
168           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
169            (and originally defined in ‘GHC.Base’))
170         return (_ :: [Integer] -> Integer)
171           where return :: forall (m :: * -> *) a. Monad m => a -> m a
172           with return @((->) Integer) @([Integer] -> Integer)
173           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
174            (and originally defined in ‘GHC.Base’))
175         pure (_ :: [Integer] -> Integer)
176           where pure :: forall (f :: * -> *) a. Applicative f => a -> f a
177           with pure @((->) Integer) @([Integer] -> Integer)
178           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
179            (and originally defined in ‘GHC.Base’))
180         (\$!) (_ :: Integer -> [Integer] -> Integer)
181           where (\$!) :: forall a b. (a -> b) -> a -> b
182           with (\$!) @'GHC.Types.LiftedRep @Integer @([Integer] -> Integer)
183           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
184            (and originally defined in ‘GHC.Base’))
185         id (_ :: Integer -> [Integer] -> Integer)
186           where id :: forall a. a -> a
187           with id @(Integer -> [Integer] -> Integer)
188           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
189            (and originally defined in ‘GHC.Base’))
190         head (_ :: [Integer -> [Integer] -> Integer])
191           where head :: forall a. [a] -> a
192           with head @(Integer -> [Integer] -> Integer)
193           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
194            (and originally defined in ‘GHC.List’))
195         last (_ :: [Integer -> [Integer] -> Integer])
196           where last :: forall a. [a] -> a
197           with last @(Integer -> [Integer] -> Integer)
198           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
199            (and originally defined in ‘GHC.List’))
200         asTypeOf (_ :: Integer -> [Integer] -> Integer)
201                  (_ :: Integer -> [Integer] -> Integer)
202           where asTypeOf :: forall a. a -> a -> a
203           with asTypeOf @(Integer -> [Integer] -> Integer)
204           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
205            (and originally defined in ‘GHC.Base’))
206         (!!) (_ :: [Integer -> [Integer] -> Integer]) (_ :: Int)
207           where (!!) :: forall a. [a] -> Int -> a
208           with (!!) @(Integer -> [Integer] -> Integer)
209           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
210            (and originally defined in ‘GHC.List’))