Add Category laws to Function
Add Category laws to Function

mpurland/Swiftz,ryanbooker/Swiftz,typelift/swiftz,ikesyo/Swiftz,mpurland/Swiftz,typelift/swiftz,ryanbooker/Swiftz,typelift/swiftz,CodaFi/swiftz,ikesyo/Swiftz,ikesyo/Swiftz,mpurland/Swiftz,CodaFi/swiftz,CodaFi/swiftz