Idris project where case doesn't work...