Similar repositories to higherkindness/ersatz: