Comment by sourdecor

Could someone compare this to ST in Idris?