{-# LANGUAGE TypeFamilies #-}
class Collection c where
    type Element c
    insert :: Element c -> c -> c

instance Collection [a] where
    type Element [a] = a
    insert = (:)