[WIP]support FsCheck

型が解決できなかったので、とりあえずカスタムオペレーターを混在させてごまかしてます…