Added typeable constraint to as many Eff data types as possible.
Merge branch 'master' of git://github.com/RobotGymnast/extensible-effects into wowus/master
Added 'Fail'. Doesn't compile.
test suite passing
Merge branch 'wowus/master' of https://github.com/wowus/extensible-effects