I am a happy owner of a couple of Pi-Top Ceeds, and I have just received the Artificial Intelligence kit sponsored by Google and included in the MagPi #57.
A combination of these two looks promising to me, but both items block the GPIO pins.
I have plugged in only the HDMI from the pi-top-ceed hub and it works, but then I need a separate power plug for the raspberry pi.
P.S: I recorded a little video with a very first test: https://www.youtube.com/watch?v=vu9JePc6JZk
Thankyou for your post.
It is possible to power your raspberry pi from the second usb port on the pi-top hub using a usb to microusb adaptor.
This would save you requiring a second power source.
All the best with your project.