Start to support types composite error
with typed states