Node.js/Webstorm: структура KOA — неразрешенная функция/метод

Я использую структуру node.js KOA для настройки сервера:

var http = require ('http');
var koa = require('koa');
var app = koa();

app.use(function* (){           
  this.body = 'Hello World';
});

var server = http.createServer(app.callback()); 

server.listen(process.env.PORT || 3000, function(){
    var address = server.address();
    console.log("Listening on port " + address.port);
});

Я использую Webstorm для кодирования, и он генерирует следующие предупреждения:

Неразрешенный метод или функция use()

а также

Неразрешенный метод или функция callback()

в отношении app.use() и app.callback(). Модуль KOA является частью папки моего проекта. Я подозреваю, что проблема как-то связана с тем, что свойства app следующие:

{subdomainOffset: 2, 
proxy: false, 
env: 'development' }

в то время как рассматриваемые методы являются частью цепочки прототипов app:

[ Application {
    listen: [Function],
    toJSON: [Function],
    inspect: [Function],
    use: [Function],
    callback: [Function],
    createContext: [Function],
    onerror: [Function] }

Есть ли способ заставить Webstorm разрешить app.use() и app.callback()?