1 2 3 4
TYPE SIGNATURES foo :: forall a. (a ~ Bool) => (a, Bool) Dependent modules: [] Dependent packages: [base-4.13.0.0, ghc-bignum-1.0, ghc-prim-0.6.1]