The goals are equivalent
This is fixed by mono-binds
Update issue225.icry

mono-binds is irrelevant to the bug now.
Salsa20 working better with type checker improvements (thanks, Sean!)
Fix Functor/Applicative warning for Result
Add unionTM to the RewMap' Trie
Warning removal
Merge branch 'master' into wip/cs
Fill out nullTM and unionTM for Prop/Expr Tries