Issue328.agda:5,13-20
Postulates are not allowed in mutual blocks