Add Crosswalk instances for: NonEmpty, Proxy, Const, Functor.Sum, These1#193

mniip wants to merge 1 commit intohaskellari:masterhaskellari/these:masterfrom

mniip:crosswalkmniip/these:crosswalkCopy head branch name to clipboard