Pager: windows shouldn't overlap workspace borders
Makefile: bump ghc version