trifecta: bring back 1.1 for idris