TYPE SIGNATURES
  bar :: Int -> Foo Bool () Int
TYPE CONSTRUCTORS
  data type Foo{3} :: * -> * -> * -> *
DATA CONSTRUCTORS
  Foo :: forall x y z. x -> y -> z -> Foo x y z
Dependent modules: []
Dependent packages: [base-4.13.0.0, ghc-bignum-1.0, ghc-prim-0.7.0]