TypeError { type_message: InvalidOptionalType(Type), context: TypecheckContext([]) }