module Math.NumberTheory.TestUtils where

class (f `Compose` g) x