type-parameter-power-up Tests and examples for my ScalaDays 2018 talk "Type Parameter Power-Up! Variance, Bounds, and Inference"