Eff now hides its inner Free
Fixed uncompilable tests (import missing)
Merge branch 'eff_newtype'