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
Not sure what side effects an interface would have but type.ml on line 664 might need to have strip side effects implemented