{-# LANGUAGE TypeFamilies #-}
module DataFamilies (
    Vector,
    ListLike(..),
    Vector(..)) where

data family Vector a

class ListLike a where
  type I a
  method1 :: a -> I a

newtype instance Vector () = U_Vector ()