module A.fully.Qualified.NAME ||| This is another test data Test : Type where ||| Test constructor ATest : Test