class Camera a
class MobilePhone a
class (Camera a, MobilePhone a) => CameraPhone a