Idris.Core.Execute
execute