MissingDefinitions.agda:28,8-10
The following names are declared but not accompanied by a
definition: T₂, U₂, V₂, W₂
MissingDefinitions.agda:5,1-2
The following names are declared but not accompanied by a
definition: Q, U, V, W, X
MissingDefinitions.agda:22,8-9
The following names are declared but not accompanied by a
definition: A, B
when scope checking the declaration
  module AB where
