RatioShape: TypedPattern<Ratio> = ...