CoinShape: TypedPattern<Coin> = ...