sss/eff: add clarity wrt Free, Codensity, Typeable