$use StdIO; $func Main = e; Main, { A B : e1 e2, { , C; } :: e1, $fail;; };