transformer implementation

here is a implementation of transformers to compare.

DISCUSS!!!! :smile: 
it can be added back if equality is implemented in all monadTransformerImplementation instances.
witch maybe is useful for development.
Maybe theres a smarter way to do it. that test is pretty useful in testing