The paradox of appcoins on Farcaster is that there are more traders for appcoins than users of mini apps