I googled phantom types Haskell: https://wiki.haskell.org/Phantom_type https://wiki.haskell.org/Phantom_type Python: https://phantom-types.readthedocs.io/en/s

I googled phantom types Haskell: https://wiki.haskell.org/Phantom_type https://wiki.haskell.org/Phantom_type Python: https://phantom-types.readthedocs.io/en/stable/ https://phantom-types.readthedocs.io/en/stable/ Elm: https://dmalashock.com/elm-phantom-types/ https://dmalashock.com/elm-phantom-types/ Purescript: https://qiita.com/kimagure/items/b576b5bfe370180599f8 https://qiita.com/kimagure/items/b576b5bfe370180599f8 I'll give them a read. Thanks