Digraph.hs:19: A type signature is more polymorphic than the inferred type
- Can't for-all the type variable(s) `taYK'
- in the inferred type `[Edge taYK]'
+ Can't for-all the type variable(s) `taY7'
+ in the inferred type `[Edge taY7]'
When checking signature for `reversed_edges'
In an equation for function `stronglyConnComp':
`stronglyConnComp es vs