{-# Language TypeFamilies ,MultiParamTypeClasses,FlexibleInstances,FlexibleContexts,UndecidableInstances,FunctionalDependencies#-}

newtype StateEncoding x s a = StateEncoding (s,x s a)

class Unfolding x f | x -> f where
 unfolding :: StateEncoding x s a -> f a

instance (Unfolding x (StateEncoding f s),Unfolding f g) => Unfolding x g where
 unfolding x = unfolding (unfolding x)