TYPE SIGNATURES
  f :: forall a. Eq a => a -> a -> Bool
Dependent modules: []
Dependent packages: [base-4.16.0.0]