Control.Effect.ReaderNat

data Nil

data Cons x xs

data List n

type family Union s t

type family Append' s t

data Z

data S n

data Nat n

type family RemDup t

type family Bubble l

type family Min n m

type family Max n m

type family MinKey n m p q

data IxReader s a

ask

class Split s t z