infixr 5 `KiFun`
type instance SourceOf (Kind src k) = src
-instance Source src => Sourced (Kind src k) where
+instance Source src => Sourceable (Kind src k) where
sourceOf (KiType src) = src
sourceOf (KiConstraint src) = src
sourceOf (KiFun src _a _b) = src