Complete.idr
discover another idris bug