{-# LANGUAGE TypeFamilies #-}

module Data.Seq2 where


class Seq2 outer inner where
  type Element inner