ghcide-0.7.3.0: The core of an IDE