集合論は好きじゃないけどハスケラーw