ghcide-0.7.5.0: The core of an IDE