coverage typings examples