type family Derived (repr :: Type -> Type) :: Type -> Type
-- * Class 'Derivable'
--- | Derivable an interpreter to a another interpreter
+-- | Derive an interpreter to a another interpreter
-- determined by the 'Derived' open type family.
-- This is mostly useful when running the interpreter stack,
-- but also when going back from an initial encoding to a final one.