Fix the compose covariance
Fix the 'compose' unit test
Merge pull request #1577 from zsxwing/compose-covariance

Fix the compose covariance