TYPE SIGNATURES
  f :: forall a. Eq a => a -> a -> Bool
Dependent modules: []
Dependent packages: [base-4.13.0.0, ghc-bignum-1.0, ghc-prim-0.7.0]