PragmaInMutual.agda:11,3-30
Pragmas are not allowed in mutual blocks