1 2 3 4
simpl016.hs:5:1: Warning: Forall'd constraint ‘Num b’ is not bound in RULE lhs delta' @ Int @ b $dEq