Implement lifting of configurations #76
Description
Implement the following function:
configLift :: (forall a. m a -> n a) -> Config m -> Config n
This requires some code reorganization.
{{ message }}
Implement the following function:
configLift :: (forall a. m a -> n a) -> Config m -> Config n
This requires some code reorganization.