Agda code to show the profunctor-based arrow definition satisfies the arrow laws that does not involve `first`.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool