Typeclasses Transparent inO