Compose with changing types
More option Exercises