Exploring an 'Automatic' Transformer-less Type Classe 'Derivation' - Effect Community