rascal - Rascal でジェネリック (ポリモーフィック) 関数を定義するにはどうすればよいですか?

Question

次のようなマップからキーを抽出する汎用関数を定義したいと思います。

public list[K] keys(map[K,V] aMap) {
    return [ key | key:val <- aMap ];
}

構文エラーは表示されませんが、これは機能しません。それを行う方法はありますか？