CheckError
Enum
unreachable
generic