1 2 3 4
TYPE SIGNATURES unc :: forall {w1} {w2} {w3}. (w1 -> w2 -> w3) -> (w1, w2) -> w3 Dependent modules: [] Dependent packages: [base-4.14.0.0, ghc-bignum-1.0, ghc-prim-0.7.0]