CleanでAscriptionを記述する方法がよく分からない。というか、ないのではないか？ Cleanのリテラルには、同じ記法で複数の型に属する（オーバーロードされている）ものがいくつかあり、それらを使うときにoverloading errorが起こることがあって、Ascriptio…