top_command (cmd_load currentFile []) IOTCM currentFile None Indirect (Cmd_refine 0 (Range [Interval (Pn Nothing 20 2 7) (Pn Nothing 27 2 14)]) "λ x → x")