liftT

matryoshka

liftTM

matryoshka

listFArbitrary

ArbitraryInstances