Correct! I simply copied the definition from the type class, but the context is important.