definition module QA_shapes

import QA

queries :: [QA]