0.6.1: ITransform now has instance for E a, transforming trivially.
TODO: How does this instance not violate the functional dependency?