1 2 3 4 5
TYPE SIGNATURES unc :: forall {w1} {w2} {w3}. (w1 -> w2 -> w3) -> (w1, w2) -> w3 Dependent modules: [] Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, integer-gmp-1.0.3.0]