add idris wrapper