まあbbLeanじゃ使えないんだろうな。
日本語版が出たら試してみよう。