mkEmptyprocq compatiable types