@goldstein@im-in.space impl !Evil for Type {}