Documentation

b :: forall {k} c (f :: k) (t :: k) tp b. (c (tp f), c (tp t)) => tp f -> tp t -> Bool -> (forall (a :: k). c (tp a) => tp a -> b) -> b Source #