A Fluid, PolyMorphic,and shapeless Types Package that activates radically flexiblity and simplicity in your programs