Summary:
Detail:
static Applicative<Id<?>>
applicative()
static Comonad<Id<?>>
comonad()
static <T> Eq<Kind<Id<?>,T>>
eq(Eq<T> idEq)
static Foldable<Id<?>>
foldable()
static Functor<Id<?>>
functor()
static Monad<Id<?>>
monad()
static Traverse<Id<?>>
traverse()