Function empty

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

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