/Category/Instance/Properties/
../
FinitelyCocompletes.agda