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