map<B> abstract method

HKT<G, B> map<B>(
  1. B f(
    1. A a
    )
)

Return type is HKT<G, B>, which expresses the fact that what we return is using exactly the same type constructor represented by the brand G

Implementation

HKT<G, B> map<B>(B Function(A a) f);