Arbitrary typeclass for integrals