Explore.Explorable.Product -> Explore.Product
BinTree.agda