avoid idris generator problem