State seems to have some problems with latest Idris
Some issue with properties of type 'element'