More kinded variations of type pattern.