PostulateInMutual.agda:7,13-20
Postulates are not allowed in mutual blocks