Products do not preserve computable type
b'Mathieu Hoyrup speaking at the BIRS workshop 23w5039: Recursion Theory and its Applications (Oct 15 - Oct 20). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.'