https://1library.net/document/yj8904pq-fun-with-phantom-types.html