Control.Effect.Helpers.List

data List l

type family (s :: [*]) :++ (t :: [*]) :: [*] where ...

append

class Split s t

lengthL

type family LookupT k xs where ...

class Lookup k xs

class LookUpA k xs x