This is a PR which adds the instances, as mentioned in #197.
I decided not to add the Corepresentable instance, since it does rely on cosieve . cotabulate not being passed an infinite list.
Thus the Costrong instance simply inlines unfirstCorep as stated previously.
I also bumped the lts version to lts-18.0, since that is the earliest version which satisfies the random >= 1.2.0 constraint (which also happens to satisfy the profunctors constraint).
This is a PR which adds the instances, as mentioned in #197.
I decided not to add the
Corepresentableinstance, since it does rely oncosieve . cotabulatenot being passed an infinite list. Thus theCostronginstance simply inlinesunfirstCorepas stated previously.I also bumped the lts version to
lts-18.0, since that is the earliest version which satisfies therandom >= 1.2.0constraint (which also happens to satisfy the profunctors constraint).