ていうか、Haskellで（型推論を否定せずに）プログラミングしてる人々、開発時にどうやってその複雑な型推論で決定される型が何であるか知るんだろ？＞＜（便利なIDEでもあるの？＞＜）