Data.TypeList

class TypeList l

class HeadTail l

class Component l n

class AppendList l l'

class TakeList n l

class DropList n l

class TailRevList l l'

class ReverseList l

class JoinList n l l'

class Extend l l'