Not sure what side effects an interface would have but [type.ml](https://github.com/pirapira/bamboo/compare/master...CornellBlockchain:interface#diff-3eb1577ec852c030c468af0abc7547fa) on line 664 might need to have strip side effects implemented
