GHCi: no reason to hide (%) anymore.