Instances & lawfulness/implicit resolution tests for Codensity.
Merge pull request #530 from S11001001/topic/codensity-instances

Instances & tests for Codensity