Add missing import Data.Proxy#34

freizl wants to merge 1 commit intoisovector:masterisovector/thinking-with-types:masterfrom

freizl:masterfreizl/thinking-with-types:masterCopy head branch name to clipboard