Demo Input Typecheck Run Share Clear Output Use New Solver Note: This demo defaults to using the New Solver in Strict Mode for typechecking. Output