content: {-# LANGUAGE TypeFamilyDependencies #-}
  {-# LANGUAGE PatternSynonyms #-}
  {-# LANGUAGE ConstraintKinds #-}
  {-# LANGUAGE RankNTypes #-}
  {-# LANGUAGE StandaloneDeriving #-}
  {-# LANGUAGE FlexibleInstances #-}
  {-# LANGUAGE FunctionalDependencies #-}
  {-# LANGUAGE UndecidableInstances #-}
  {-# LANGUAGE TypeFamilies #-}
  {-# LANGUAGE LambdaCase #-}
  {-# LANGUAGE TypeOperators #-}
  {-# LANGUAGE KindSignatures #-}
  {-# LANGUAGE DataKinds #-}
  {-# LANGUAGE PolyKinds #-}
  {-# LANGUAGE GADTs #-}
  -----------------------------------------------------------------------------
  -- |
  -- Module      :  Type.Family.List
  -- Copyright   :  Copyright (C) 2015 Kyle Carter
  -- License     :  BSD3
  --
  -- Maintainer  :  Kyle Carter <kylcarte@indiana.edu>
  -- Stability   :  experimental
  -- Portability :  RankNTypes
  --
  -- Convenient aliases and type families for working with
  -- type-level lists.
  ----------------------------------------------------------------------------
  
  module Type.Family.List where
  
  import Type.Family.Constraint
  import Type.Family.Monoid
  import Type.Family.Tuple hiding (type (<$>),type (<*>),type (<&>))
  import Type.Class.Witness
  
  type Ø    = '[]
  type (:<) = '(:)
  infixr 5 :<
  
  