product-profunctors-0.6: Test/Main.hs

import CheckTypes

main :: IO ()
main = return ()