バイトでHaskellを書いている． その中で，表現は共通だが2つの形式を持っているデータを型で区別したいということがあったので，幽霊型でいいじゃん！と思いDataKindsを使って実装しPRを出したところ，Haskellの強い方から「Haskellで依存型を多相的に扱う…