Function empty

pub fn empty<Brand, A>() -> Apply<Brand, (A,)>
where
    Brand: Kind<(A,)> + Empty,

forall a. Empty f => () -> f a