Idk what `return` is in Kategory but i know it’s p...

# arrow

[alex.hart]

Idk what return is in Kategory but i know it’s part of Monad laws (my FP knowledge is primarily from Haskell)