Add Effective as a separate module
Try some syntax and higher order things