compatibility with current idris