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