generated at
Singleton Type
シングルトン型


型と値に一対一対応がある型
型のinhabitantが1である
型を見れば、値を一意に特定できる

https://serokell.io/blog/haskell-type-level-witness
> there is a one-to-one correspondence between values and types are called Singletons.

https://hyone.hatenablog.com/entry/2012/11/03/002422
https://stackoverflow.com/questions/16017294/singleton-types-in-haskell
https://konn-san.com/prog/2013-advent-calendar.html
https://hackage.haskell.org/package/singletons
https://blog.jle.im/entry/introduction-to-singletons-1.html
chrome-extension://oemmndcbldboiebfnladdacbdfmadadm/https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1009&context=compsci_pubs
https://serokell.io/blog/dimensions-haskell-singletons
https://zenn.dev/mod_poppo/books/haskell-type-level-programming/viewer/singletons


『Singleton, Union, and Intersection Types for Program Extraction』
https://www.sciencedirect.com/science/article/pii/S0890540184710169?via%3Dihub
singleton typeの起源？
林晋