import Data.Array.Vector
main = print (lengthU (replicateU 1 (pi :: Float)))