2 Digraph.hs:19: A type signature is more polymorphic than the inferred type
3 Some type variables in the inferred type can't be forall'd, namely:
5 Possible cause: the RHS mentions something subject to the monomorphism restriction
6 When checking signature for `reversed_edges'
7 In an equation for function `stronglyConnComp':
8 `stronglyConnComp es vs = PrelTup.snd
12 (PrelBase.[], (PrelBase.[]))
16 (PrelBase.[], (PrelBase.[]))
20 r (vs, ns) PrelBase.[]
23 r (vs, ns) (x PrelBase.: xs)
24 | [x PrelList.elem vs] =
27 | [PrelBase.otherwise] =
30 (vs', ((x PrelBase.: ns') PrelBase.: ns))
35 (x PrelBase.: vs, (PrelBase.[]))
41 ((x, y) PrelBase.: xys) w
42 = if x PrelBase.== w then
52 _forall_ [v] {PrelBase.Eq v} => [Edge v]
58 Compilation had errors