http://atnd.org/events/447 前と同じURLですが、融合してしまって変更(日程が確定したのと、場所が未定になっている)したので、参加しようかなーと思っていた人は再び見てくださいなー。

-- f :: (a -> b) -> (c , d , e) f g = let a = g ([] :: [a]) b = g (0 :: Int) c = g ('1'::Char) in (a,b,c) {- 型推論させた時の結果 Couldn't match expected type `[a]' against inferred type `Char' Expected type: [a] -> t Inferred type: Char -…