I googled phantom types

Haskell: https://wiki.haskell.org/Phantom_type

Python: https://phantom-types.readthedocs.io/en/stable/

Elm: https://dmalashock.com/elm-phantom-types/

Purescript: https://qiita.com/kimagure/items/b576b5bfe370180599f8

I'll give them a read.

Thanks