module A ||| This is a test data Test : Type where ||| Test constructor ATest : Test