Control.Effect.Helpers.List

data List l

type family s :++ t :: [*]

append

class Split s t