Is this fundamentally any different than normal phantom types?

phantom-type-alternative.hs

{-# LANGUAGE DataKinds #-}                                                                     
{-# LANGUAGE GADTs #-}                                                                         
{-# LANGUAGE KindSignatures #-}                                                                
{-# LANGUAGE OverloadedStrings #-}                                                             
{-# LANGUAGE RankNTypes #-}                                                                    
{-# LANGUAGE TypeFamilies #-}                                                                  

{- Is this fundamentally any different than regular phantom types ala https://wiki.haskell.org/Phantom_type ?
-}
                                                                                               
module Phantom.Alternative where                                                  
                                                                                               
-- | universe of validation types                                                              
data ValidationUniverse = Validated | Unvalidated                                              
                                                                                               
-- | alternative to phantom: `data FormData a = FormData String`                               
-- note `UnvalidatedData` contains more information (a user & msg)                             
data FormData (v :: ValidationUniverse) :: * where                                             
    ValidatedData   :: String -> FormData Validated                                            
    UnvalidatedData :: String -> String -> FormData Unvalidated                                
                                                                                               
-- | validate data particulare to a user                                                       
validate :: FormData Unvalidated -> Maybe (FormData Validated)                                 
validate (UnvalidatedData user msg) =                                                          
    if length msg == 10 && user == "aaron"                                                     
    then Just (ValidatedData msg)                                                              
    else Nothing                                                                               
                                                                                               
-- | do something with valid form data                                                         
useData :: FormData Validated -> IO ()                                                         
useData (ValidatedData s) = print s