require dm-types explicit definition