ImportInMutual.agda:7,10-21
Import statements are not allowed in mutual blocks