patch applied (haskell-prime-status): accept scoped type variables