wrong subst- (bug in agda's termination checker?)