{-# LANGUAGE TypeFamilies #-}

module Data.Seq2 where


class Seq2 outer inner where
  type Element inner

  split2
    :: (Element inner -> Bool)
    -> outer inner
    -> [outer inner]