@amy @mei that's the one, yeah - and just having it in your own ghci setup (and perhaps global modules so you can :m + it) is a big help