Carl Schierig

When I write `do` and then press enter, it gets autocompleted to `drop Int [a]`. I have created my own snippet to fix this, but I think it should be...