型シノニムの多相化 型シノニムに型引数をとることができる type AssocList k v = [(k, v)] 型引数を部分適用すると新しい型コンストラクタが作れる type IntMap v = Map Int v こうも書ける type IntMap = Map Int Data.Map を修飾付インポートをする時は型…