@legokichi

Following Users131
どういうことなの・・・? もしかしてOperationalモナドなの? CoyonedaというFunctorを使えばただのデータ型からFunctorを作れるので、それとFreeモナドを組み合わせる…