You can buy this project and download/modify it how often you want.
package libretto.util type ∀[F[_]] = ForAll[F]