patch applied (haskell-prime-status): KindAnnotations: probably accept ==> accept