Kindness

Base type to make higher kinded types compatible with each other across package boundaries.