Whitespace cleanup.

```
$ find . -type f -name '*.idr' -exec sed --in-place 's/[[:space:]]\+$//' {} \+
$ find . -type f -name '*.hs' -exec sed --in-place 's/[[:space:]]\+$//' {} \+
```