Compose function checked