Use Product rather than Prod

This commit is contained in:
Bartosz Milewski 2019-06-11 12:59:00 -07:00
parent bd5b309165
commit 15c672cab1
2 changed files with 2 additions and 2 deletions

View File

@ -1 +1 @@
counit (Prod (Reader f, s)) = f s
counit (Product (Reader f, s)) = f s

View File

@ -1 +1 @@
unit a = Reader (\s -> Prod (a, s))
unit a = Reader (\s -> Product (a, s))