/latex-test/src/TypeFamilies3/
../
TypeFamilies3.hs