いつまで引っ張るのかという感じですが…型をrefineするcast a を id :: (a -> b) -> (a -> b) にするようなcastのこと">*1が安全だと仮定すると、このように動くものが書ける。 *FunArgPerm2> [f 1 2 3 | f <- permArgsMono 3 (\a b c -> [a, b, c :: Int])]…