Give more precision on overloaded compose issues
Structure example and remove redundant scalacheck tests