幽靈型 - .｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆)

幽靈型

phantom type

code:haskell

type T a = T A

Phantom type - HaskellWiki

Haskell/Phantom types - Wikibooks, open books for an open world

Matt Noonan “Ghosts of departed proofs (functional pearl)” 2018