use deftypes for error-m