Implement Data.TypedSequence and Control.MOnad.FreeReflect