ghcid --restart=package.yaml でいける気がしますが、あんまり使ったことないので実用に耐えれなかったらすみません。。repl にならないですね:sweat_smile:ghcid -c "stack repl" --restart=package.yaml こっちでした。types/hoge_type.dhall )で定義して参照すると相対パスになるから cat tmp/hoge.dhall | dhall と実行するとうまくいかないんですけど良い方法ありますか？dhall < tmp/hoge.dhall ってすればいいのかdhall <<< ./tmp/hoge.dhall でいいみたい./ をつけないとダメ )f :: Monad m => a -> b -> m c なアクションとx :: m a, y :: m b な値があるときjoin (f <$> x <*> y)f の引数が3つ以上の時もいけるっぽいです。join (liftA2 f a b) だと 1文字短いとか…liftA2 f x y >>= uncurry f とも書けます。liftA2 (,) x y >>= uncurry f ですかね?over 関数の、Functorな値を返す関数を渡すバージョンってないんですかね。overM :: Functor f => ASetter s t a b -> (a -> f b) -> s -> f t みたいな型になるのかな、と思うのですが。:: a searches for the type “a”-> とかを含めなければ普通に型の名前が優先されているように見えますが、これではダメなんでしょうか？