Why name a function 'getGhciMode' when it returns GhcMode?