DeFi Composability and Switching Costs