1 2 3 4 5 6 7
{-# LANGUAGE TypeFamilies #-} module Data.Seq2 where class Seq2 outer inner where type Element inner