module Issue728 where

open import Common.MAlonzo using () renaming (main to mainDefault)

main = mainDefault