liquidhaskell-0.6.0.0: tests/pos/Words.hs

import Data.Word

{-@ foo :: {v:Word | v = 4} @-}
foo :: Word
foo = 4