Check Eff type of main when using --entry-point