Adds Bifunctor laws#75

solomon-b wants to merge 1 commit into

haskell-checkers:masterhaskell-checkers/checkers:masterfrom

solomon-b:solomon/bifunctor-lawssolomon-b/checkers:solomon/bifunctor-lawsCopy head branch name to clipboard