PushC2.hs can compile or run, from same input. Needed to parameterize arrays over index type