TypeError { type_message: UnboundVariable(V(Label("constructors"), 0)), context: TypecheckContext([]) }