{-# LANGUAGE TypeFamilies #-}
module DataFamilies where

data family Vector a