Successfully got prelude code to compile to ATS.