Modules

type constraints for UUIDs