Do not redefine built-in mfa/0 type. Use tspec/0 type, instead.